- A Paraconsistentist Approach to Chisholm's Paradox.Marcelo Esteban Coniglio & Newton Marques Peron - 2009 - Principia: An International Journal of Epistemology 13 (3):299-326.details
|
|
Using Syllogistics to Teach Metalogic.Lorenz Demey - 2017 - Metaphilosophy 48 (4):575-590.details
|
|
A note on Barcan formula.Antonio Frias Delgado - 2017 - Journal of Applied Non-Classical Logics 27 (3-4):321-327.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
|
|
Modal Logic With Non-Deterministic Semantics: Part II—Quantified Case.Marcelo E. Coniglio, Luis Fariñasdelcerro & Newton Marques Peron - 2022 - Logic Journal of the IGPL 30 (5):695-727.details
|
|
Identity, Leibniz's Law and Non-transitive Reasoning.Pablo Cobreros, Paul Egré, David Ripley & Robert Rooij - 2013 - Metaphysica 14 (2):253-264.details
|
|
Algebraization of Jaśkowski’s Paraconsistent Logic D2.Janusz Ciuciura - 2015 - Studies in Logic, Grammar and Rhetoric 42 (1):173-193.details
|
|
A quick guided tour to the modal logic S4.2.Aggeliki Chalki, Costas D. Koutras & Yorgos Zikos - 2018 - Logic Journal of the IGPL 26 (4):429-451.details
|
|
Fibring non-truth-functional logics: Completeness preservation.C. Caleiro, W. A. Carnielli, M. E. Coniglio, A. Sernadas & C. Sernadas - 2003 - Journal of Logic, Language and Information 12 (2):183-211.details
|
|
Argument evaluation in multi-agent justification logics.Alfredo Burrieza & Antonio Yuste-Ginel - forthcoming - Logic Journal of the IGPL.details
|
|
Three dual ontologies.Chris Brink & Ingrid Rewitzky - 2002 - Journal of Philosophical Logic 31 (6):543-568.details
|
|
Natural deduction for first-order hybrid logic.Torben BraÜner - 2005 - Journal of Logic, Language and Information 14 (2):173-198.details
|
|
Quantitative and Qualitative Approaches to Generalization and Replication–A Representationalist View.Matthias Borgstede & Marcel Scholz - 2021 - Frontiers in Psychology 12.details
|
|
I—Columnar Higher-Order Vagueness, or Vagueness is Higher-Order Vagueness.Susanne Bobzien - 2015 - Aristotelian Society Supplementary Volume 89 (1):61-87.details
|
|
Vague size predicates.Thomas Bittner - 2011 - Applied ontology 6 (4):317-343.details
|
|
On the computational realization of formal ontologies: Formalizing an ontology of instantiation in spacetime using Isabelle/HOL as a case study.Thomas Bittner - 2019 - Applied ontology 14 (3):251-292.details
|
|
Logical properties of foundational mereogeometrical relations in bio-ontologies.Thomas Bittner - 2009 - Applied ontology 4 (2):109-138.details
|
|
Formal ontology of space, time, and physical entities in classical mechanics.Thomas Bittner - 2018 - Applied ontology 13 (2):135-179.details
|
|
Potency and Modality.Alexander Bird - 2006 - Synthese 149 (3):491-508.details
|
|
The Logical Contingency of Identity.Hanoch Ben-Yami - 2018 - European Journal of Analytic Philosophy 14 (2):5-10.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
|
|
Quantified Multimodal Logics in Simple Type Theory.Christoph Benzmüller & Lawrence C. Paulson - 2013 - Logica Universalis 7 (1):7-20.details
|
|
CIFOL: Case-Intensional First Order Logic: Toward a Theory of Sorts.Nuel Belnap & Thomas Müller - 2014 - Journal of Philosophical Logic 43 (2-3):393-437.details
|
|
CIFOL: Case-Intensional First Order Logic: Toward a Theory of Sorts.Nuel Belnap & Thomas Müller - 2014 - Journal of Philosophical Logic 43 (2-3):393-437.details
|
|
A Model Theory of Modal Reasoning.Victoria A. Bell & P. N. Johnson-Laird - 1998 - Cognitive Science 22 (1):25-51.details
|
|
A model theory of modal reasoning.Victoria A. Bell & P. N. Johnson-Laird - 1998 - Cognitive Science 22 (1):25-51.details
|
|
The Logical Form of Interventionism.Michael Baumgartner - 2012 - Philosophia 40 (4):751-761.details
|
|
Interventionist Causal Exclusion and Non‐reductive Physicalism.Michael Baumgartner - 2009 - International Studies in the Philosophy of Science 23 (2):161-178.details
|
|
Clarity and the grammar of skepticism.Chris Barker - 2009 - Mind and Language 24 (3):253-273.details
|
|
A completeness theorem for continuous predicate modal logic.Stefano Baratella - 2019 - Archive for Mathematical Logic 58 (1-2):183-201.details
|
|
Paraconsistency, self-extensionality, modality.Arnon Avron & Anna Zamansky - 2020 - Logic Journal of the IGPL 28 (5):851-880.details
|
|
Knowledge means ‘all’, belief means ‘most’.Dimitris Askounis, Costas D. Koutras & Yorgos Zikos - 2016 - Journal of Applied Non-Classical Logics 26 (3):173-192.details
|
|
Completeness in Hybrid Type Theory.Carlos Areces, Patrick Blackburn, Antonia Huertas & María Manzano - 2014 - Journal of Philosophical Logic 43 (2-3):209-238.details
|
|
Volume II: New advances in Logics of Formal Inconsistency.Eduardo Alejandro Barrio & Walter Carnielli - 2020 - Logic Journal of the IGPL 28 (5):845-850.details
|
|
Indefiniteness of mathematical objects.Ken Akiba - 2000 - Philosophia Mathematica 8 (1):26--46.details
|
|
A defense of indeterminate distinctness.Ken Akiba - 2014 - Synthese 191 (15):3557-3573.details
|
|
On Hamblin's 15 Tense Theorem.Manfred Kudlek - 2010 - Journal of Applied Non-Classical Logics 20 (1):63-80.details
|
|
A New Framework for Epistemic Logic.Yanjing Wang - 2017 - In Proceedings of TARK 2017. EPTCS. pp. 515-534.details
|
|
forall x: Calgary. An Introduction to Formal Logic (4th edition).P. D. Magnus, Tim Button, Robert Trueman, Richard Zach & Aaron Thomas-Bolduc - 2023 - Calgary: Open Logic Project.details
|
|
First-Order Modal Logic: Frame Definability and a Lindström Theorem.R. Zoghifard & M. Pourmahdian - 2018 - Studia Logica 106 (4):699-720.details
|
|
A Lewisian Logic of Causal Counterfactuals.Jiji Zhang - 2013 - Minds and Machines 23 (1):77-93.details
|
|
The Necessity of Mathematics.Juhani Yli‐Vakkuri & John Hawthorne - 2018 - Noûs 52 (3):549-577.details
|
|
Semantic Penumbra: Concept Similarity in Logic.John Woods & Nicholas Griffin - 2012 - Topoi 31 (1):121-134.details
|
|
First-Order Logic of Change.Kordula Świętorzecka - forthcoming - Logic Journal of the IGPL.details
|
|
Reply to Sullivan.Timothy Williamson - 2016 - Canadian Journal of Philosophy 46 (4-5):759-765.details
|
|
Logic, Metalogic and Neutrality.Timothy Williamson - 2013 - Erkenntnis 79 (Suppl 2):211-231.details
|
|
Conditionalizing on knowledge.Timothy Williamson - 1998 - British Journal for the Philosophy of Science 49 (1):89-121.details
|
|
A note on Gettier cases in epistemic logic.Timothy Williamson - 2015 - Philosophical Studies 172 (1):129-140.details
|
|
Proving Unprovability.Bruno Whittle - 2017 - Review of Symbolic Logic 10 (1):92–115.details
|
|