- Logically Possible Worlds and Counterpart Semantics for Modal Logic
References (0)
Cited by (23)
Towards resolution-based reasoning for connected logics
2014, Electronic Notes in Theoretical Computer ScienceFirst-order possibility models and finitary completeness proofs
2019, Review of Symbolic LogicCounterpart theories for everyone
2020, SyntheseFree description logic for ontologists
2020, CEUR Workshop ProceedingsModal Interpretation of Formal Concept Analysis for Incomplete Representations
2020, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)Image Schema Combinations and Complex Events
2019, KI - Kunstliche Intelligenz
Copyright © 2007 Elsevier B.V. All rights reserved.