- 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.Timothy Bowen - 2017 - Dissertation, Arché, University of St Andrewsdetails
|
|
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
|
|
Topic-sensitive Two-dimensional Truthmaker Semantics.Timothy Bowen - manuscriptdetails
|
|
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
|
|
Combining Temporal Logic Systems.Marcelo Finger & Dov Gabbay - 1996 - Notre Dame Journal of Formal Logic 37 (2):204-232.details
|
|
A Decidable Temporal Logic of Parallelism.Mark Reynolds - 1997 - Notre Dame Journal of Formal Logic 38 (3):419-436.details
|
|
DDL unlimited: Dynamic doxastic logic for introspective agents.Sten Lindström & Wlodek Rabinowicz - 1999 - Erkenntnis 50 (2-3):353-385.details
|
|
Actuality, Tableaux, and Two-Dimensional Modal Logics.Fabio Lampert - 2018 - Erkenntnis 83 (3):403-443.details
|
|
On axiomatising products of Kripke frames.Ágnes Kurucz - 2000 - Journal of Symbolic Logic 65 (2):923-945.details
|
|
Non-finitely axiomatisable two-dimensional modal logics.Agi Kurucz & Sérgio Marcelino - 2012 - Journal of Symbolic Logic 77 (3):970-986.details
|
|
The Domino relation: Flattening a two-dimensional logic. [REVIEW]Steven Kuhn - 1989 - Journal of Philosophical Logic 18 (2):173 - 195.details
|
|
Quantifiers as modal operators.Steven T. Kuhn - 1980 - Studia Logica 39 (2-3):145 - 158.details
|
|
On neighbourhood product of some Horn axiomatizable logics.Andrey Kudinov - 2018 - Logic Journal of the IGPL 26 (3):316-338.details
|
|
On Possible Worlds with Modal Parts: A Semantics for Modal Interaction.Neil Kennedy - 2014 - Journal of Philosophical Logic 43 (6):1129-1152.details
|
|
Explicit Intensionalization, Anti‐Actualism, and How Smith's Murderer Might Not Have Murdered Smith.Bjørn Jespersen - 2005 - Dialectica 59 (3):285–314.details
|
|
Ontologies for Plane, Polygonal Mereotopology.Ian Pratt & Oliver Lemon - 1997 - Notre Dame Journal of Formal Logic 38 (2):225-245.details
|
|
Two-dimensional adventures.Lloyd Humberstone - 2004 - Philosophical Studies 118 (1-2):17--65.details
|
|
Scope and subjunctivity.I. L. Humberstone - 1982 - Philosophia 12 (1-2):99-126.details
|
|
Information dynamics and uniform substitution.Wesley H. Holliday, Tomohiro Hoshi & Thomas F. Icard Iii - 2013 - Synthese 190 (1):31-55.details
|
|
All Normal Extensions of S5-squared Are Finitely Axiomatizable.Ian Hodkinson - 2004 - Studia Logica 78 (3):443-457.details
|
|
On modal logics between K × K × K and s5 × s5 × S.R. Hirsch, I. Hodkinson & A. Kurucz - 2002 - Journal of Symbolic Logic 67 (1):221-234.details
|
|
The logic of viewpoints.Antti Hautamäki - 1983 - Studia Logica 42 (2-3):187 - 196.details
|
|
The Decision Problem of Modal Product Logics with a Diagonal, and Faulty Counter Machines.C. Hampson, S. Kikot & A. Kurucz - 2016 - Studia Logica 104 (3):455-486.details
|
|