- Quantification in Some Non-normal Modal Logics.Erica Calardo & Antonino Rotolo - 2017 - Journal of Philosophical Logic 46 (5):541-576.details
|
|
Temporal logic of surjective bounded morphisms between finite linear processes.David Gabelaia, Evgeny Kuznetsov, Radu Casian Mihailescu, Konstantine Razmadze & Levan Uridia - 2024 - Journal of Applied Non-Classical Logics 34 (1):1-30.details
|
|
Post Completeness in Congruential Modal Logics.Peter Fritz - 2016 - In Lev Beklemishev, Stéphane Demri & András Máté (eds.), Advances in Modal Logic, Volume 11. CSLI Publications. pp. 288-301.details
|
|
A perspective on modal sequent logic.Stephen Blamey & Lloyd Humberstone - 1991 - Publications of the Research Institute for Mathematical Sciences 27 (5):763-782.details
|
|
On the Axiomatisation of Elgesem's Logic of Agency and Ability.Guido Governatori & Antonino Rotolo - 2005 - Journal of Philosophical Logic 34 (4):403-431.details
|
|
(1 other version)Strict Implication in A Sequence of Extensions of S4.Dolph Ulrich - 1981 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 27 (13-14):201-212.details
|
|
Modal Formulas True at Some Point in Every Model.Lloyd Humberstone - 2008 - Australasian Journal of Logic 6:70-82.details
|
|
The polytopologies of transfinite provability logic.David Fernández-Duque - 2014 - Archive for Mathematical Logic 53 (3-4):385-431.details
|
|
Evidence and plausibility in neighborhood structures.Johan van Benthem, David Fernández-Duque & Eric Pacuit - 2014 - Annals of Pure and Applied Logic 165 (1):106-133.details
|
|
On the interpolation property of some intuitionistic modal logics.C. Luppi - 1996 - Archive for Mathematical Logic 35 (3):173-189.details
|
|
Identity, Leibniz’s Law and Non-Transitive Reasoning.Pablo Cobreros, Paul Egré, David Ripley & Robert van Rooij - 2013 - Metaphysica 14 (2):253-264.details
|
|
Vagueness: Subvaluationism.Pablo Cobreros - 2013 - Philosophy Compass 8 (5):472-485.details
|
|
Zolin and Pizzi: Defining Necessity from Noncontingency.Lloyd Humberstone - 2013 - Erkenntnis 78 (6):1275-1302.details
|
|
What is the correct logic of necessity, actuality and apriority?Peter Fritz - 2014 - Review of Symbolic Logic 7 (3):385-414.details
|
|
Everything Else Being Equal: A Modal Logic for Ceteris Paribus Preferences.Johan Van Benthem, Patrick Girard & Olivier Roy - 2009 - Journal of Philosophical Logic 38 (1):83 - 125.details
|
|
An ascending chain of S4 logics.Kit Fine - 1974 - Theoria 40 (2):110-116.details
|
|
Two simple incomplete modal logics.J. F. A. K. Benthem - 1978 - Theoria 44 (1):25-37.details
|
|
(1 other version)B(S4.3, S4) unveiled.G. E. Hughes - 1975 - Theoria 41 (2):85-88.details
|
|
Arithmetical necessity, provability and intuitionistic logic.Rob Goldblatt - 1978 - Theoria 44 (1):38-46.details
|
|
On logics with coimplication.Frank Wolter - 1998 - Journal of Philosophical Logic 27 (4):353-387.details
|
|
Independent propositional modal logics.S. K. Thomason - 1980 - Studia Logica 39 (2-3):143 - 144.details
|
|
Modal counterparts of Medvedev logic of finite problems are not finitely axiomatizable.Valentin Shehtman - 1990 - Studia Logica 49 (3):365 - 385.details
|
|
Discrete tense logic with infinitary inference rules and systematic frame constants: A Hilbert-style axiomatization. [REVIEW]Lennart Åqvist - 1996 - Journal of Philosophical Logic 25 (1):45 - 100.details
|
|
Completeness and decidability results for some propositional modal logics containing “actually” operators.Dominic Gregory - 2001 - Journal of Philosophical Logic 30 (1):57-78.details
|
|
Refutation systems in modal logic.Valentin Goranko - 1994 - Studia Logica 53 (2):299 - 324.details
|
|
Cut-free sequent and tableau systems for propositional diodorean modal logics.Rajeev Goré - 1994 - Studia Logica 53 (3):433 - 457.details
|
|
Neighborhoods for entailment.Lou Goble - 2003 - Journal of Philosophical Logic 32 (5):483-529.details
|
|
Modal logic with names.George Gargov & Valentin Goranko - 1993 - Journal of Philosophical Logic 22 (6):607 - 636.details
|
|
Subformula results in some propositional modal logics.Melvin Fitting - 1978 - Studia Logica 37 (4):387 - 391.details
|
|
(1 other version)Forms of Luminosity: Epistemic Modality and Hyperintensionality in Mathematics.David Elohim - 2017details
|
|
Variable-Sharing as Relevance.Shawn Standefer - forthcoming - In Andrew Tedder, Shawn Standefer & Igor Sedlar (eds.), New Directions in Relevant Logic. Springer.details
|
|
Essays in Formal Metaphysics.Daniel Rubio - 2019 - Dissertation, Rutgers - New Brunswickdetails
|
|
Neighbourhood Semantics for Modal Relevant Logics.Nicholas Ferenz & Andrew Tedder - 2023 - Journal of Philosophical Logic 52 (1):145-181.details
|
|
Model Theoretical Aspects of Weakly Aggregative Modal Logic.Jixin Liu, Yifeng Ding & Yanjing Wang - 2022 - Journal of Logic, Language and Information 31 (2):261-286.details
|
|
Pooling Modalities and Pointwise Intersection: Semantics, Expressivity, and Dynamics.Frederik Van De Putte & Dominik Klein - 2022 - Journal of Philosophical Logic 51 (3):485-523.details
|
|
Logic, Reasoning, and Rationality.Erik Weber, Joke Meheus & Dietlinde Wouters (eds.) - 2014 - Dordrecht, Netherland: Springer.details
|
|
Neighborhood Semantics for Modal Logic.Eric Pacuit - 2017 - Cham, Switzerland: Springer.details
|
|
Leo Esakia on Duality in Modal and Intuitionistic Logics.Guram Bezhanishvili (ed.) - 2014 - Dordrecht, Netherland: Springer.details
|
|
Modal and Hyperintensional Cognitivism and Modal and Hyperintensional Expressivism.David Elohim - manuscriptdetails
|
|
Standard State Space Models of Unawareness.Peter Fritz & Harvey Lederman - 2015 - Theoretical Aspects of Rationality and Knowledge 15.details
|
|
Modern Origins of Modal Logic.Roberta Ballarin - 2010 - Stanford Encyclopedia of Philosophy.details
|
|
Canonical Filtrations and Local Tabularity.Valentin Shehtman - 2014 - In Rajeev Goré, Barteld Kooi & Agi Kurucz (eds.), Advances in Modal Logic, Volume 10: Papers From the Tenth Aiml Conference, Held in Groningen, the Netherlands, August 2014. London, England: CSLI Publications. pp. 498-512.details
|
|
(1 other version)Forms of Luminosity: Epistemic Modality and Hyperintensionality in Mathematics.David Elohim - 2017 - Dissertation, Arché, University of St Andrewsdetails
|
|
Hyperintensional Foundations of Mathematical Platonism.David Elohim - manuscriptdetails
|
|
A Computational Learning Semantics for Inductive Empirical Knowledge.Kevin T. Kelly - 2014 - In Alexandru Baltag & Sonja Smets (eds.), Johan van Benthem on Logic and Information Dynamics. Cham, Switzerland: Springer International Publishing. pp. 289-337.details
|
|
Willem Blok and Modal Logic.W. Rautenberg, M. Zakharyaschev & F. Wolter - 2006 - Studia Logica 83 (1):15-30.details
|
|
Some Results on Modal Axiomatization and Definability for Topological Spaces.Guram Bezhanishvili, Leo Esakia & David Gabelaia - 2005 - Studia Logica 81 (3):325-355.details
|
|
(1 other version)Grothendieck Topology as Geometric Modality.Robert I. Goldblatt - 1981 - Mathematical Logic Quarterly 27 (31‐35):495-529.details
|
|
(1 other version)Bounded Properties in Modal Logic.George F. Schumm - 1981 - Mathematical Logic Quarterly 27 (13‐14):197-200.details
|
|
The logical consequence relation of propositional tense logic.S. K. Thomason - 1975 - Mathematical Logic Quarterly 21 (1):29-40.details
|
|