- Forms of Luminosity: Epistemic Modality and Hyperintensionality in Mathematics.David Elohim - 2017details
|
|
Epistemic Modality and Hyperintensionality in Mathematics.David Elohim - 2017 - Dissertation, Arché, University of St Andrewsdetails
|
|
A Modal Logic and Hyperintensional Semantics for Gödelian Intuition.David Elohim - manuscriptdetails
|
|
Modality and Hyperintensionality in Mathematics.David Elohim - manuscriptdetails
|
|
Possibility Semantics for Intuitionistic Logic.M. J. Cresswell - 2004 - Australasian Journal of Logic 2:11-29.details
|
|
Is Dialetheism an Idealism? The Russellian Fallacy and the Dialetheist’s Dilemma.Francesco Berto - 2007 - Dialectica 61 (2):235–263.details
|
|
David Makinson on Classical Methods for Non-Classical Problems.Sven Ove Hansson (ed.) - 2013 - Dordrecht, Netherland: Springer.details
|
|
Many-valued modal logics II.Melvin Fitting - unknowndetails
|
|
Decidability of quantified propositional intuitionistic logic and s4 on trees of height and arity ≤ω.Richard Zach - 2004 - Journal of Philosophical Logic 33 (2):155-164.details
|
|
Some applications of Kripke models to formal systems of intuitionistic analysis.Scott Weinstein - 1979 - Annals of Mathematical Logic 16 (1):1.details
|
|
Basic Intuitionistic Conditional Logic.Yale Weiss - 2019 - Journal of Philosophical Logic 48 (3):447-469.details
|
|
Relevant propositional dynamic logic.Andrew Tedder & Marta Bilková - 2022 - Synthese 200 (3):1-42.details
|
|
Dual Intuitionistic Logic and a Variety of Negations: The Logic of Scientific Research.Yaroslav Shramko - 2005 - Studia Logica 80 (2-3):347-367.details
|
|
Propositional Logics Related to Heyting's and Johansson's.Krister Segerberg - 1968 - Theoria 34 (1):26-61.details
|
|
Direct deductive computation on discourse representation structures.Uwe Reyle & Dov M. Gabbay - 1994 - Linguistics and Philosophy 17 (4):343 - 390.details
|
|
A complete negationless system.David Nelson - 1973 - Studia Logica 32 (1):41 - 49.details
|
|
Subformula and separation properties in natural deduction via small Kripke models: Subformula and separation properties.Peter Milne - 2010 - Review of Symbolic Logic 3 (2):175-227.details
|
|
On Gabbay's Proof of the Craig Interpolation Theorem for Intuitionistic Predicate Logic.Michael Makkai - 1995 - Notre Dame Journal of Formal Logic 36 (3):364-381.details
|
|
Definability of Boolean Functions in Kripke Semantics.Naosuke Matsuda - 2023 - Notre Dame Journal of Formal Logic 64 (3):363-376.details
|
|
Intuitionistic mereology.Paolo Maffezioli & Achille C. Varzi - 2021 - Synthese 198 (Suppl 18):4277-4302.details
|
|
Intuitionistic Mereology II: Overlap and Disjointness.Paolo Maffezioli & Achille C. Varzi - 2023 - Journal of Philosophical Logic 52 (4):1197-1233.details
|
|
The Question of Logic.Saul A. Kripke - 2023 - Mind 133 (529):1-36.details
|
|
An investigation of the lumps of thought.Angelika Kratzer - 1989 - Linguistics and Philosophy 12 (5):607 - 653.details
|
|
Ancestral Kripke models and nonhereditary Kripke models for the Heyting propositional calculus.Kosta Došen - 1991 - Notre Dame Journal of Formal Logic 32 (4):580-597.details
|
|
Effect of the Choice of Connectives on the Relation between Classical Logic and Intuitionistic Logic.Tomoaki Kawano, Naosuke Matsuda & Kento Takagi - 2022 - Notre Dame Journal of Formal Logic 63 (2).details
|
|
Partial Up and Down Logic.Jan O. M. Jaspars - 1995 - Notre Dame Journal of Formal Logic 36 (1):134-157.details
|
|
Delimited control operators prove Double-negation Shift.Danko Ilik - 2012 - Annals of Pure and Applied Logic 163 (11):1549-1559.details
|
|
Bohrification of operator algebras and quantum logic.Chris Heunen, Nicolaas P. Landsman & Bas Spitters - 2012 - Synthese 186 (3):719 - 752.details
|
|
Semantics-based Nonmonotonic Inference.Heinrich Wansing - 1995 - Notre Dame Journal of Formal Logic 36 (1):44-54.details
|
|
Modelling reasoning processes in natural agents: a partial-worlds-based logical framework for elemental non-monotonic inferences and learning.Christel Grimaud - 2016 - Journal of Applied Non-Classical Logics 26 (4):251-285.details
|
|
Updating Data Semantics.Anthony S. Gillies - 2020 - Mind 129 (513):1-41.details
|
|
A computational interpretation of conceptivism.Thomas Macaulay Ferguson - 2014 - Journal of Applied Non-Classical Logics 24 (4):333-367.details
|
|
The praxis of Alain Badiou.Paul Ashton, Adam Bartlett & Justin Clemens (eds.) - 2006 - Seddon, Melbourne, Australia: Re.Press.details
|
|
On the imaginative constructivist nature of design: a theoretical approach.Akin Osman Kazakci - unknowndetails
|
|
Frontiers of Conditional Logic.Yale Weiss - 2019 - Dissertation, The Graduate Center, City University of New Yorkdetails
|
|
Quine and Quantified Modal Logic – Against the Received View.Adam Tamas Tuboly - 2015 - Organon F: Medzinárodný Časopis Pre Analytickú Filozofiu 22 (4):518-545.details
|
|
Pe'titio principii and argument analysis.Douglas N. Walton - forthcoming - Informal Logic: The First International Symposium.details
|
|