- A Two-Dimensional Logic for Two Paradoxes of Deontic Modality.Fusco Melissa & Kocurek Alexander - forthcoming - Review of Symbolic Logic.details
|
|
Epistemic Modality and Hyperintensionality in Mathematics.David Elohim - 2017 - Dissertation, Arché, University of St Andrewsdetails
|
|
Forms of Luminosity: Epistemic Modality and Hyperintensionality in Mathematics.David Elohim - 2017details
|
|
Epistemic Modality and Hyperintensionality in Mathematics.David Elohim - unknowndetails
|
|
Topic-sensitive Two-dimensional Truthmaker Semantics.David Elohim - manuscriptdetails
|
|
Two dimensional Standard Deontic Logic [including a detailed analysis of the 1985 Jones–Pörn deontic logic system].Mathijs de Boer, Dov M. Gabbay, Xavier Parent & Marija Slavkovic - 2012 - Synthese 187 (2):623-660.details
|
|
Two notions of necessity.Martin Davies & Lloyd Humberstone - 1980 - Philosophical Studies 38 (1):1-31.details
|
|
Products of 'transitive' modal logics.David Gabelaia, Agi Kurucz, Frank Wolter & Michael Zakharyaschev - 2005 - Journal of Symbolic Logic 70 (3):993-1021.details
|
|
Temporal Reference in Linear Tense Logic.M. J. Cresswell - 2010 - Journal of Philosophical Logic 39 (2):173-200.details
|
|
Predicate Metric Tense Logic for 'Now' and 'Then'.M. J. Cresswell - 2013 - Journal of Philosophical Logic 42 (1):1-24.details
|
|
Formalizing Concurrent Common Knowledge as Product of Modal Logics.Vania Costa & Mario Benevides - 2005 - Logic Journal of the IGPL 13 (6):665-684.details
|
|
Pragmatist Pragmatics: the Functional Context of Utterances.John Collier - 2005 - Philosophica 75 (1).details
|
|
Two dimensional Standard Deontic Logic [including a detailed analysis of the 1985 Jones–Pörn deontic logic system].Mathijs Boer, Dov M. Gabbay, Xavier Parent & Marija Slavkovic - 2012 - Synthese 187 (2):623-660.details
|
|
Modal logic: A semantic perspective.Patrick Blackburn & Johan van Benthem - 1988 - Ethics 98:501-517.details
|
|
Dynamic squares.Patrick Blackburn & Yde Venema - 1995 - Journal of Philosophical Logic 24 (5):469 - 523.details
|
|
All Normal Extensions of S5-squared Are Finitely Axiomatizable.Nick Bezhanishvili & Ian Hodkinson - 2004 - Studia Logica 78 (3):443-457.details
|
|
Two Axes of Actualism.Karen Bennett - 2005 - Philosophical Review 114 (3):297-326.details
|
|
Two axes of actualism.Karen Bennett - 2005 - Philosophical Review 114 (3):297-326.details
|
|
Multimo dal Logics of Products of Topologies.J. Van Benthem, G. Bezhanishvili, B. Ten Cate & D. Sarenac - 2006 - Studia Logica 84 (3):369 - 392.details
|
|
Intelligent Alarm Correlation and Abductive Reasoning.Stefania Bandini, Alessandro Mosca & Matteo Palmonari - 2006 - Logic Journal of the IGPL 14 (2):347-362.details
|
|
Propositional Dependence and Perspectival Shift.Adam Russell Murray - 2022 - In Chris Tillman & Adam Murray (eds.), The Routledge Handbook of Propositions. Routledge.details
|
|
Philosophy, Drama and Literature.Rick Benitez - 2011 - In Graham Robert Oppy, Nick Trakakis, Lynda Burns, Steven Gardner & Fiona Leigh (eds.), A companion to philosophy in Australia & New Zealand. Clayton, Victoria, Australia: Monash University Publishing. pp. 371-372.details
|
|
Finite Frames for K4.3 x S5 Are Decidable.Agi Kurucz & Sérgio Marcelino - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 411-436.details
|
|
On axiomatisting products of Kripke frames, part II.Agi Kurucz - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 219-230.details
|
|
On the Complexity of Modal Axiomatisations over Many-dimensional Structures.Agi Kurucz - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 256-270.details
|
|
Modal Logic of Some Products of Neighborhood Frames.Andrey Kudinov - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 386-394.details
|
|
On Modal Products with th Logic of 'Elsewhere'.Christopher Hampson & Agi Kurucz - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 339-347.details
|
|
Inter-model connectives and substructural logics.Igor Sedlár - 2014 - In Roberto Ciuni, Heinrich Wansing & Caroline Willkommen (eds.), Recent Trends in Philosophical Logic (Proceedings of Trends in Logic XI). Cham, Switzerland: Springer. pp. 195-209.details
|
|
Procedural Semantics for Hyperintensional Logic: Foundations and Applications of Transparent Intensional Logic.Marie Duží, Bjorn Jespersen & Pavel Materna - 2010 - Dordrecht, Netherland: Springer.details
|
|
A Suggestion Regarding the Semantical Analysis of Performatives.Michael J. White - 1976 - Dialectica 30 (2‐3):117-134.details
|
|
Decidable fragments of first-order modal logics.Frank Wolter & Michael Zakharyaschev - 2001 - Journal of Symbolic Logic 66 (3):1415-1438.details
|
|
On the axiomatizability of some first-order spatio-temporal theories.Sándor Vályi - 2015 - Synthese 192 (7):1-17.details
|
|
A note on the tense logic of dominoes.Yde Venema - 1992 - Journal of Philosophical Logic 21 (2):173 - 182.details
|
|
Multimo dal logics of products of topologies.J. van Benthem, G. Bezhanishvili, B. ten Cate & D. Sarenac - 2006 - Studia Logica 84 (3):369-392.details
|
|
Multimo dal Logics of Products of Topologies.Johan van Benthem, Guram Bezhanishvili, Balder ten Cate & Darko Sarenac - 2006 - Studia Logica 84 (3):369-392.details
|
|
Prior on an Insolubilium of Jean Buridan.Sara L. Uckelman - 2012 - Synthese 188 (3):487-498.details
|
|
The transiency of truth.Pavel Tichý - 1980 - Theoria 46 (2-3):165-182.details
|
|
Modal logics of domains on the real plane.V. B. Shehtman - 1983 - Studia Logica 42 (1):63-80.details
|
|
On modal logics between {$\roman K\times\roman K\times \roman K$} and {${\rm S}5\times{\rm S}5\times{\rm S}5$}.R. Hirsch, I. Hodkinson & A. Kurucz - 2002 - Journal of Symbolic Logic 67 (1):221-234.details
|
|
Actual truth, possible knowledge.Wlodek Rabinowicz & Krister Segerberg - 1994 - Topoi 13 (2):101-115.details
|
|
Analyticity and Possible-World Semantics.Wlodek Rabinowicz - 2010 - Erkenntnis 72 (3):295-314.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
|
|
Deontic Tense Logic With Historical Necessity, Frame Constants, and a Solution to the Epistemic Obligation Paradox.Lennart Åqvist - 2014 - Theoria 80 (4):319-349.details
|
|
Old foundations for the logic of agency and action.Lennart Åqvist - 2002 - Studia Logica 72 (3):313-338.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
|
|
Worlds and Times.Ulrich Meyer - 2006 - Notre Dame Journal of Formal Logic 47 (1):25--37.details
|
|
Times in Tense Logic.Ulrich Meyer - 2009 - Notre Dame Journal of Formal Logic 50 (2):201--19.details
|
|
‘Now’ and ‘Then’ in Tense Logic.Ulrich Meyer - 2009 - Journal of Philosophical Logic 38 (2):229-247.details
|
|
Counterpart Theory and the Actuality Operator.Ulrich Meyer - 2013 - Mind 122 (485):27-42.details
|
|
Decidability of cylindric set algebras of dimension two and first-order logic with two variables.Maarten Marx & Szabolcs Mikulás - 1999 - Journal of Symbolic Logic 64 (4):1563-1572.details
|
|