- 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
|
|
Products of ‘transitive” modal logics.David Gabelaia, Agi Kurucz, Frank Wolter & Michael Zakharyaschev - 2005 - Journal of Symbolic Logic 70 (3):993-1021.details
|
|
Model theory for tense logics.Dov M. Gabbay - 1975 - Annals of Mathematical Logic 8 (1):185.details
|
|
Non-primitive recursive decidability of products of modal logics with expanding domains.David Gabelaia, Agi Kurucz, Frank Wolter & Michael Zakharyaschev - 2006 - Annals of Pure and Applied Logic 142 (1):245-268.details
|
|
Naturalizing Deontic Logic: Indeterminacy, Diagonalization, and Self‐Affirmation.Melissa Fusco - 2018 - Philosophical Perspectives 32 (1):165-187.details
|
|
Agential Free Choice.Melissa Fusco - 2020 - Journal of Philosophical Logic 50 (1):57-87.details
|
|
A two-dimensional logic for diagonalization and the a priori.Melissa Fusco - 2020 - Synthese 198 (9):8307-8322.details
|
|
A Two-Dimensional Logic for Two Paradoxes of Deontic Modality.Melissa Fusco & Alexander W. Kocurek - 2022 - Review of Symbolic Logic 15 (4):991-1022.details
|
|
Propositional Quantification in Bimodal S5.Peter Fritz - 2020 - Erkenntnis 85 (2):455-465.details
|
|
A logic for epistemic two-dimensional semantics.Peter Fritz - 2013 - Synthese 190 (10):1753-1770.details
|
|
Conceivability and epistemic possibility.M. Oreste Fiocco - 2007 - Erkenntnis 67 (3):387-399.details
|
|
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
|
|
Intelligent Alarm Correlation and Abductive Reasoning.Stefania Bandini, Alessandro Mosca & Matteo Palmonari - 2006 - Logic Journal of the IGPL 14 (2):347-362.details
|
|
Multi-dimensional modal logic.Maarten Marx - 1997 - Boston, Mass.: Kluwer Academic Publishers. Edited by Yde Venema.details
|
|
Where monsters dwell.David Israel & John Perry - 1996 - In Jerry Seligman & Dag Westerstahl (eds.), Logic, Language and Computation. Center for the Study of Language and Inf. pp. 1--303.details
|
|
Topic-sensitive Two-dimensional Truthmaker Semantics.David Elohim - manuscriptdetails
|
|
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
|
|
Philosophy of Mind: Classical and Contemporary Readings.David John Chalmers (ed.) - 2002 - New York: Oxford University Press USA.details
|
|
Two-dimensional semantics.Laura Schroeter - 2010 - Stanford Encyclopedia of Philosophy.details
|
|
Combining logics.Walter Carnielli & Marcelo E. Coniglio - 2008 - Stanford Encyclopedia of Philosophy.details
|
|
Possible Worlds Semantics and the Liar.Sten Lindström - 2003 - In A. Rojszczak, J. Cachro & G. Kurczewski (eds.), Philosophical Dimensions of Logic and Science. Kluwer Academic Publishers. pp. 297--314.details
|
|
Necessarily Maybe. Quantifiers, Modality and Vagueness.Alessandro Torza - 2015 - In Quantifiers, Quantifiers, and Quantifiers. Themes in Logic, Metaphysics and Language. (Synthese Library vol 373). Springer. pp. 367-387.details
|
|
Analyticity - An Unfinished Business in Possible World Semantics.Wlodek Rabinowicz - 2006 - In .details
|
|
Chalmers, semantiikka ja välttämättömyys.Panu Raatikainen - 2016 - In Mahdollisuus. Helsinki: Suomen Filosofinen Yhdistys.details
|
|
Validity and actuality.Vittorio Morato - 2014 - Logique Et Analyse 227:379-405.details
|
|
Belief change for introspective agents.Sten Lindström & Wlodek Rabinowicz - 1999 - Spinning Ideas, Electronic Essays Dedicated to Peter Gärdenfors on His Fiftieth Birthday.details
|
|
Margins for error in context.Denis Bonnay & Paul Egré - 2008 - In G. Carpintero & M. Koelbel (eds.), Relative Truth. Oxford University Press. pp. 103--107.details
|
|
A Uniform Logic of Information Dynamics.Wesley H. Holliday, Tomohiro Hoshi & Thomas F. Icard - 2012 - In Thomas Bolander, Torben Braüner, Silvio Ghilardi & Lawrence Moss (eds.), Advances in Modal Logic 9. College Publications. pp. 348-367.details
|
|
Analyticity - An Unfinished Business in Possible World Semantics.Rabinowicz Wlodek - 2006 - In Henrik Lagerlund, Sten Lindström & Rysiek Sliwinski (eds.), Modality Matters: Twenty-Five Essays in Honour of Krister Segerberg. Uppsala Philosophical Studies 53. pp. 345--358.details
|
|
Modality, mood, and descriptions.Kai F. Wehmeier - 2005 - In Reinhard Kahle (ed.), Intensionality: An Interdisciplinary Discussion. AK Peters.details
|
|
Mahdollisuus, välttämättömyys ja luodut ikuiset totuudet Descartesin filosofiassa.Forsman Jan - 2016 - In Ilkka Niiniluoto, Tuomas Tahko & Teemu Toppinen (eds.), Mahdollisuus. Helsinki: Philosophical Society of Finland. pp. 120-129.details
|
|