- Probabilistic Justification Logic.Joseph Lurie - 2018 - Philosophies 3 (1):2.details
|
|
Temporal Justification Logic.S. Bucheli, M. Ghari & T. Studer - 2017 - Proceedings of the Ninth Workshop on Methods for Modalities (M4M9 2017), Indian Institute of Technology, Kanpur, India, 8th to 10th January 2017, Electronic Proceedings in Theoretical Computer Science 243, Pages 59–74.details
|
|
On the factivity of implicit intersubjective knowledge.Alessandro Giordani - 2014 - Synthese 191 (8):1909-1923.details
|
|
A Computational Learning Semantics for Inductive Empirical Knowledge.Kevin T. Kelly - 2014 - In Alexandru Baltag & Sonja Smets (eds.), Johan van Benthem on Logic and Information Dynamics. Cham, Switzerland: Springer International Publishing. pp. 289-337.details
|
|
Labeled sequent calculus for justification logics.Meghdad Ghari - 2017 - Annals of Pure and Applied Logic 168 (1):72-111.details
|
|
A new framework for justification logic.Alessandro Giordani - 2015 - Journal of Applied Non-Classical Logics 25 (4):308-323.details
|
|
Causal interpretation of Gödel's ontological proof.Srećko Kovač - 2015 - In Kordula Świętorzecka (ed.), Gödel's Ontological Argument: History, Modifications, and Controversies. Semper. pp. 163.201.details
|
|
Shifting Priorities: Simple Representations for Twenty-seven Iterated Theory Change Operators.Hans Rott - 2009 - In Jacek Malinowski David Makinson & Wansing Heinrich (eds.), Towards Mathematical Philosophy. Springer. pp. 269–296.details
|
|
Logic of Implicit and Explicit Justifiers.Alessandro Giordani - 2016 - In L. Felline, A. Ledda, F. Paoli & E. Rossanese (eds.), New Directions in Logic and the Philosophy of Science. College Publications. pp. 119-131.details
|
|
Substructural epistemic logics.Igor Sedlár - 2015 - Journal of Applied Non-Classical Logics 25 (3):256-285.details
|
|
Discovering knowability: a semantic analysis.Sergei Artemov & Tudor Protopopescu - 2013 - Synthese 190 (16):3349-3376.details
|
|
The logic of justified belief, explicit knowledge, and conclusive evidence.Alexandru Baltag, Bryan Renne & Sonja Smets - 2014 - Annals of Pure and Applied Logic 165 (1):49-81.details
|
|
Possible world semantics for first-order logic of proofs.Melvin Fitting - 2014 - Annals of Pure and Applied Logic 165 (1):225-240.details
|
|
A modal provability logic of explicit and implicit proofs.Evan Goris - 2010 - Annals of Pure and Applied Logic 161 (3):388-403.details
|
|
The topology of justification.Sergei Artemov & Elena Nogina - 2008 - Logic and Logical Philosophy 17 (1-2):59-71.details
|
|
Dynamic logics of knowledge and access.Tomohiro Hoshi & Eric Pacuit - 2010 - Synthese 177 (1):29 - 49.details
|
|
A Logic of Justification and Truthmaking.Alessandro Giordani - 2013 - Review of Symbolic Logic 6 (2):323-342.details
|
|
A New Semantics for Systems of Logic of Essence.Alessandro Giordani - 2014 - Studia Logica 102 (3):411-440.details
|
|
On the importance of being analytic. The paradigmatic case of the logic of proofs.Francesca Poggiolesi - 2012 - Logique Et Analyse 55 (219):443-461.details
|
|
Multi-agent Justification Logic: communication and evidence elimination. [REVIEW]Bryan Renne - 2012 - Synthese 185 (S1):43-82.details
|
|
Justification logic.Sergei Artemov - forthcoming - Stanford Encyclopedia of Philosophy.details
|
|
A quantified logic of evidence.Melvin Fitting - 2008 - Annals of Pure and Applied Logic 152 (1):67-83.details
|
|
From the Knowability Paradox to the existence of proofs.W. Dean & H. Kurokawa - 2010 - Synthese 176 (2):177 - 225.details
|
|
The logic of justification.Sergei Artemov - 2008 - Review of Symbolic Logic 1 (4):477-513.details
|
|
Intensional logic.Melvin Fitting - 2008 - Stanford Encyclopedia of Philosophy.details
|
|
Tableaux and Interpolation for Propositional Justification Logics.Meghdad Ghari - 2024 - Notre Dame Journal of Formal Logic 65 (1):81-112.details
|
|
A Compatibilist Approach in Ontology: Steps Towards a Formalization.Massimiliano Carrara & Vittorio Morato - 1998 - In Nicola Guarino (ed.), Formal Ontology in Information Systems. IOS Press. pp. 182-194.details
|
|
Getting some (non-classical) closure with justification logic.Shawn Standefer, Ted Shear & Rohan French - 2023 - Asian Journal of Philosophy 2 (2):1-25.details
|
|
A formalization of the Protagoras court paradox in a temporal logic of epistemic and normative reasons.Meghdad Ghari - 2023 - Artificial Intelligence and Law 31:1-43.details
|
|
Remarks on the origin and foundations of formalisation.Srećko Kovač - 2020 - In Marcin Będkowski, Anna Brożek, Alicja Chybińska, Stepan Ivanyk & Dominik Traczykowski (eds.), Formal and Informal Methods in Philosophy. Boston: Brill | Rodopi. pp. 163-179..details
|
|
On Boolean Algebraic Structure of Proofs: Towards an Algebraic Semantics for the Logic of Proofs.Amir Farahmand Parsa & Meghdad Ghari - 2023 - Studia Logica 111 (4):573-613.details
|
|
A Substructural Approach to Explicit Modal Logic.Shawn Standefer - 2023 - Journal of Logic, Language and Information 32 (2):333–362.details
|
|
Gödel justification logics and realization.Nicholas Pischke - 2022 - Logic Journal of the IGPL 30 (3):343-408.details
|
|
On intermediate justification logics.Nicholas Pischke - forthcoming - Logic Journal of the IGPL.details
|
|
Relating Semantics for Epistemic Logic.Alessandro Giordani - 2021 - Logic and Logical Philosophy 30 (4):681-709.details
|
|
How to construct Remainder Sets for Paraconsistent Revisions: Preliminary Report.Rafael Testa, Eduardo Fermé, Marco Garapa & Maurício Reis - 2018 - 17th INTERNATIONAL WORKSHOP ON NON-MONOTONIC REASONING.details
|
|
Games, Norms and Reasons: Logic at the Crossroads.Johan van Benthem, Amitabha Gupta & Eric Pacuit (eds.) - 2011 - Dordrecht, Netherland: Springer.details
|
|
Dynamic Formal Epistemology.Patrick Girard, Olivier Roy & Mathieu Marion (eds.) - 2010 - Berlin, Germany: Springer.details
|
|
The Dynamics of Argumentative Discourse.Carlotta Pavese & Alexander W. Kocurek - 2022 - Journal of Philosophical Logic 51 (2):413-456.details
|
|
A logic of knowing why.Chao Xu, Yanjing Wang & Thomas Studer - 2021 - Synthese 198 (2):1259-1285.details
|
|
A logic of defeasible argumentation: Constructing arguments in justification logic.Stipe Pandžić - 2022 - Argument and Computation 13 (1):3-47.details
|
|
Natural deduction and semantic models of justification logic in the proof assistant Coq.Jesús Mauricio Andrade Guzmán & Francisco Hernández Quiroz - forthcoming - Logic Journal of the IGPL.details
|
|
Justification Logic with Confidence.Ted Shear & John Quiggin - 2020 - Studia Logica 108 (4):751-778.details
|
|
Tracking reasons with extensions of relevant logics.Shawn Standefer - 2019 - Logic Journal of the IGPL 27 (4):543-569.details
|
|
A Note on Strong Axiomatization of Gödel Justification Logic.Nicholas Pischke - 2020 - Studia Logica 108 (4):687-724.details
|
|
A hyperintensional logical framework for deontic reasons.Federico L. G. Faroldi & Tudor Protopopescu - 2019 - Logic Journal of the IGPL 27 (4):411-433.details
|
|
Hyperintensional logics for everyone.Igor Sedlár - 2019 - Synthese 198 (2):933-956.details
|
|
Everyone knows that someone knows: Quantifiers over epistemic agents.Pavel Naumov & Jia Tao - 2019 - Review of Symbolic Logic 12 (2):255-270.details
|
|
On non-self-referential fragments of modal logics.Junhua Yu - 2017 - Annals of Pure and Applied Logic 168 (4):776-803.details
|
|
Pavelka-style fuzzy justification logics.Meghdad Ghari - 2016 - Logic Journal of the IGPL 24 (5):743-773.details
|
|