- A logic with relative knowledge operators.Stéphane Demri - 1999 - Journal of Logic, Language and Information 8 (2):167-185.details
|
|
A completeness proof for a logic with an alternative necessity operator.Stéphane Demri - 1997 - Studia Logica 58 (1):99-112.details
|
|
Topological reasoning and the logic of knowledge.Andrew Dabrowski, Lawrence S. Moss & Rohit Parikh - 1996 - Annals of Pure and Applied Logic 78 (1-3):73-110.details
|
|
Validity and Necessity.Roberta Ballarin - 2005 - Journal of Philosophical Logic 34 (3):275-303.details
|
|
Substitutional Validity for Modal Logic.Marco Grossi - 2023 - Notre Dame Journal of Formal Logic 64 (3):291-316.details
|
|
Topological Completeness of First-Order Modal Logics.Steve Awodey & Kohei Kishida - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 1-17.details
|
|
First-order indefinite and uniform neighbourhood semantics.Arnold Vander Nat - 1979 - Studia Logica 38 (3):277-296.details
|
|
Ceteris Paribus Conditionals and Comparative Normalcy.Martin Smith - 2006 - Journal of Philosophical Logic 36 (1):97-121.details
|
|
Semantics for RK1t.M. K. Rennie - 1971 - Journal of Symbolic Logic 36 (1):97 - 107.details
|
|
Modal logic with subjunctive conditionals and dispositional predicates.Lennart Åqvist - 1973 - Journal of Philosophical Logic 2 (1):1 - 76.details
|
|
Grades of Probability Modality in the Law of Evidence.Lennart Åqvist - 2010 - Studia Logica 94 (3):307-330.details
|
|
Combinations of tense and deontic modality: On the R t approach to temporal logic with historical necessity and conditional obligation.Lennart Åqvist - 2005 - Journal of Applied Logic 3 (3-4):421-460.details
|
|
Strongly decidable properties of modal and intuitionistic calculi.L. Maksimova - 2000 - Logic Journal of the IGPL 8 (6):797-819.details
|
|
Amalgamation and interpolation in normal modal logics.Larisa Maksimova - 1991 - Studia Logica 50 (3-4):457 - 471.details
|
|
An interpretation of “finite” modal first-order languages in classical second-order languages.Scott K. Lehmann - 1976 - Journal of Symbolic Logic 41 (2):337-340.details
|
|
Matters of relevance.Hugues Leblanc - 1972 - Journal of Philosophical Logic 1 (3/4):269 - 286.details
|
|
Strong completeness of s4 for any dense-in-itself metric space.Philip Kremer - 2013 - Review of Symbolic Logic 6 (3):545-570.details
|
|
Completeness of second-order propositional s4 and H in topological semantics.Philip Kremer - 2018 - Review of Symbolic Logic 11 (3):507-518.details
|
|
A Bi-Modal Characterization of Epistemic Logic.Arata Ishimoto - 1978 - Annals of the Japan Association for Philosophy of Science 5 (3):135-155.details
|
|
Hybrid Formulas and Elementarily Generated Modal Logics.Ian Hodkinson - 2006 - Notre Dame Journal of Formal Logic 47 (4):443-478.details
|
|
Scope and subjunctivity.I. L. Humberstone - 1982 - Philosophia 12 (1-2):99-126.details
|
|
Zero-one laws for modal logic.Joseph Y. Halpern & Bruce Kapron - 1994 - Annals of Pure and Applied Logic 69 (2-3):157-193.details
|
|
Zero-one laws for modal logic.Jospeh Halpern & Bruce Kapron - 1994 - Annals of Pure and Applied Logic 69 (2-3):157-193.details
|
|
A guide to completeness and complexity for modal logics of knowledge and belief.Joseph Y. Halpern & Yoram Moses - 1992 - Artificial Intelligence 54 (3):319-379.details
|
|
“Conservative” Kripke closures.Raymond D. Gumb - 1984 - Synthese 60 (1):39 - 49.details
|
|
Mathematical modal logic: A view of its evolution.Robert Goldblatt - 2003 - Journal of Applied Logic 1 (5-6):309-392.details
|
|
Erdős graphs resolve fine's canonicity problem.Robert Goldblatt, Ian Hodkinson & Yde Venema - 2004 - Bulletin of Symbolic Logic 10 (2):186-208.details
|
|
Model theory for tense logics.Dov M. Gabbay - 1975 - Annals of Mathematical Logic 8 (1):185.details
|
|
Modeling belief in dynamic systems, part I: Foundations.Nir Friedman & Joseph Y. Halpern - 1997 - Artificial Intelligence 95 (2):257-316.details
|
|
Logics With Several Modal Operators.Melvin Fitting - 1969 - Theoria 35 (3):259-266.details
|
|
A nonstandard approach to the logical omniscience problem.Ronald Fagin, Joseph Y. Halpern & Moshe Y. Vardi - 1995 - Artificial Intelligence 79 (2):203-240.details
|
|
Belief, awareness, and limited reasoning.Ronald Fagin & Joseph Y. Halpern - 1987 - Artificial Intelligence 34 (1):39-76.details
|
|
Modern Origins of Modal Logic.Roberta Ballarin - 2010 - Stanford Encyclopedia of Philosophy.details
|
|