- Mathematical modal logic: A view of its evolution.Robert Goldblatt - 2003 - Journal of Applied Logic 1 (5-6):309-392.details
|
|
Reflexivity: a source-book in self-reference.Steven James Bartlett (ed.) - 1992 - New York, N.Y., U.S.A.: Distributors for the U.S. and Canada, Elsevier Science Pub. Co..details
|
|
Relevant predication 2: Intrinsic properties and internal relations.J. Michael Dunn - 1990 - Philosophical Studies 60 (3):177-206.details
|
|
Decidable fragments of first-order modal logics.Frank Wolter & Michael Zakharyaschev - 2001 - Journal of Symbolic Logic 66 (3):1415-1438.details
|
|
An undecidable two sorted predicate calculus.A. B. Slomson - 1969 - Journal of Symbolic Logic 34 (1):21-23.details
|
|
Critical notice.J. F. A. K. van Benthem - 1979 - Synthese 40 (2):353-373.details
|
|
Variations on the Kripke Trick.Mikhail Rybakov & Dmitry Shkatov - forthcoming - Studia Logica:1-48.details
|
|
Undecidability of First-Order Modal and Intuitionistic Logics with Two Variables and One Monadic Predicate Letter.Mikhail Rybakov & Dmitry Shkatov - 2018 - Studia Logica 107 (4):695-717.details
|
|
Undecidability of the Logic of Partial Quasiary Predicates.Mikhail Rybakov & Dmitry Shkatov - 2022 - Logic Journal of the IGPL 30 (3):519-533.details
|
|
Predicate counterparts of modal logics of provability: High undecidability and Kripke incompleteness.Mikhail Rybakov - forthcoming - Logic Journal of the IGPL.details
|
|
Dynamic term-modal logics for first-order epistemic planning.Andrés Occhipinti Liberman, Andreas Achen & Rasmus Kræmmer Rendsvig - 2020 - Artificial Intelligence 286:103305.details
|
|
On the Universality of Atomic and Molecular Logics via Protologics.Guillaume Aucher - 2022 - Logica Universalis 16 (1):285-322.details
|
|
Modern Origins of Modal Logic.Roberta Ballarin - 2010 - Stanford Encyclopedia of Philosophy.details
|
|
Undecidability of first-order intuitionistic and modal logics with two variables.Roman Kontchakov, Agi Kurucz & Michael Zakharyaschev - 2005 - Bulletin of Symbolic Logic 11 (3):428-438.details
|
|
∈ : Formal concepts in a material world truthmaking and exemplification as types of determination.Philipp Keller - 2007 - Dissertation, University of Genevadetails
|
|
Sound and relatively complete belief Hoare logic for statistical hypothesis testing programs.Yusuke Kawamoto, Tetsuya Sato & Kohei Suenaga - 2024 - Artificial Intelligence 326 (C):104045.details
|
|
Decidable first-order modal logics with counting quantifiers.Christopher Hampson - 2016 - In Lev Beklemishev, Stéphane Demri & András Máté (eds.), Advances in Modal Logic, Volume 11. CSLI Publications. pp. 382-400.details
|
|
Undecidability of modal and intermediate first-order logics with two individual variables.D. M. Gabbay & V. B. Shehtman - 1993 - Journal of Symbolic Logic 58 (3):800-823.details
|
|
Sufficient conditions for the undecidability of intuitionistic theories with applications.Dov M. Gabbay - 1972 - Journal of Symbolic Logic 37 (2):375-384.details
|
|
First-order modal theories III — facts.Kit Fine - 1982 - Synthese 53 (1):43-122.details
|
|
Modal Logic With Non-Deterministic Semantics: Part II—Quantified Case.Marcelo E. Coniglio, Luis Fariñasdelcerro & Newton Marques Peron - 2022 - Logic Journal of the IGPL 30 (5):695-727.details
|
|
On the primary and secondary semantics of logical necessity.Nino Cocchiarella - 1975 - Journal of Philosophical Logic 4 (1):13 - 27.details
|
|
Logical atomism, nominalism, and modal logic.Nino Cocchiarella - 1975 - Synthese 31 (1):23 - 62.details
|
|
Validity and Necessity.Roberta Ballarin - 2005 - Journal of Philosophical Logic 34 (3):275-303.details
|
|