Early discussion of epistemic modal logic and introducing the (terminology of) K modal logic for its formalization:
Created on July 26, 2023 at 12:30:38. See the history of this page for a list of all contributions to it.