- A Two-Dimensional Logic for Two Paradoxes of Deontic Modality.Fusco Melissa & Kocurek Alexander - 2022 - Review of Symbolic Logic 15 (4):991-1022.details
|
|
Forms of Luminosity: 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
|
|
Hyperintensionality.Francesco Berto & Daniel Nolan - 2021 - Stanford Encyclopedia of Philosophy.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
|
|
On axiomatising products of Kripke frames.Ágnes Kurucz - 2000 - Journal of Symbolic Logic 65 (2):923-945.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
|
|
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
|
|
A Refutation of Qualia-Physicalism.Michael McKinsey - 2007 - In Michael O'Rourke Corey Washington (ed.), Situating Semantics: Essays on the Philosophy of John Perry. pp. 469.details
|
|
Coulda, woulda, shoulda.Stephen Yablo - 2002 - In Tamar Gendler & John Hawthorne (eds.), Conceivability and Possibility. New York: Oxford University Press. pp. 441-492.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
|
|
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
|
|
Decidable fragments of first-order modal logics.Frank Wolter & Michael Zakharyaschev - 2001 - Journal of Symbolic Logic 66 (3):1415-1438.details
|
|
A Suggestion Regarding the Semantical Analysis of Performatives.Michael J. White - 1976 - Dialectica 30 (2‐3):117-134.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
|
|
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
|
|
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
|
|
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
|
|
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
|
|
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
|
|
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
|
|
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
|
|
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
|
|
Non-finitely axiomatisable modal product logics with infinite canonical axiomatisations.Christopher Hampson, Stanislav Kikot, Agi Kurucz & Sérgio Marcelino - 2020 - Annals of Pure and Applied Logic 171 (5):102786.details
|
|
The Logic of Contingent Actuality.Martin Glazier & Stephan Krämer - 2024 - Ergo: An Open Access Journal of Philosophy 11.details
|
|