- Probabilistic Justification Logic.Joseph Lurie - 2018 - Philosophies 3 (1):2.details
|
|
On the factivity of implicit intersubjective knowledge.Alessandro Giordani - 2014 - Synthese 191 (8):1909-1923.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
|
|
Relating logics of justification and evidence.Igor Sedlár - 2014 - In Punčochář Vít & Dančák Michal (eds.), The Logica Yearbook 2013. College Publications. pp. 207-222.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
|
|
A modal provability logic of explicit and implicit proofs.Evan Goris - 2010 - Annals of Pure and Applied Logic 161 (3):388-403.details
|
|
Justifications for common knowledge.Samuel Bucheli, Roman Kuznets & Thomas Studer - 2011 - Journal of Applied Non-Classical Logics 21 (1):35-60.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
|
|
Intensional logic.Melvin Fitting - 2008 - Stanford Encyclopedia of Philosophy.details
|
|
Justification logic.Melvin Fitting - manuscriptdetails
|
|
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
|
|
A Substructural Approach to Explicit Modal Logic.Shawn Standefer - 2023 - Journal of Logic, Language and Information 32 (2):333–362.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
|
|
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
|
|
Tracking reasons with extensions of relevant logics.Shawn Standefer - 2019 - Logic Journal of the IGPL 27 (4):543-569.details
|
|
Hyperintensional logics for everyone.Igor Sedlár - 2019 - Synthese 198 (2):933-956.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
|
|
Pavelka-style fuzzy justification logics.Meghdad Ghari - 2016 - Logic Journal of the IGPL 24 (5):743-773.details
|
|
Substructural epistemic logics.Igor Sedlár - 2015 - Journal of Applied Non-Classical Logics 25 (3):256-285.details
|
|
2007 Annual Meeting of the Association for Symbolic Logic.Mirna Džamonja - 2007 - Bulletin of Symbolic Logic 13 (3):386-408.details
|
|
Non-circular proofs and proof realization in modal logic.Ren-June Wang - 2014 - Annals of Pure and Applied Logic 165 (7-8):1318-1338.details
|
|
Tableaux and Interpolation for Propositional Justification Logics.Meghdad Ghari - 2024 - Notre Dame Journal of Formal Logic 65 (1):81-112.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
|
|
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
|
|
A hyperintensional logical framework for deontic reasons.Federico L. G. Faroldi & Tudor Protopopescu - 2019 - Logic Journal of the IGPL 27 (4):411-433.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
|
|
Discovering knowability: a semantic analysis.Sergei Artemov & Tudor Protopopescu - 2013 - Synthese 190 (16):3349-3376.details
|
|
A logic of explicit knowledge.Melvin Fitting - unknowndetails
|
|
A quantified logic of evidence.Melvin Fitting - 2008 - Annals of Pure and Applied Logic 152 (1):67-83.details
|
|
The logic of justification.Sergei Artemov - 2008 - Review of Symbolic Logic 1 (4):477-513.details
|
|
Self-referentiality of Brouwer–Heyting–Kolmogorov semantics.Junhua Yu - 2014 - Annals of Pure and Applied Logic 165 (1):371-388.details
|
|
On non-self-referential fragments of modal logics.Junhua Yu - 2017 - Annals of Pure and Applied Logic 168 (4):776-803.details
|
|
Games, Norms and Reasons: Logic at the Crossroads.Johan van Benthem, Amitabha Gupta & Eric Pacuit (eds.) - 2011 - Dordrecht, Netherland: Springer.details
|
|
Evidence and plausibility in neighborhood structures.Johan van Benthem, David Fernández-Duque & Eric Pacuit - 2014 - Annals of Pure and Applied Logic 165 (1):106-133.details
|
|
Decidability for some justification logics with negative introspection.Thomas Studer - 2013 - Journal of Symbolic Logic 78 (2):388-402.details
|
|
Justification Logic with Confidence.Ted Shear & John Quiggin - 2020 - Studia Logica 108 (4):751-778.details
|
|
The Basic Intuitionistic Logic of Proofs.Sergei Artemov & Rosalie Iemhoff - 2007 - Journal of Symbolic Logic 72 (2):439 - 451.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
|
|
Multi-agent Justification Logic: communication and evidence elimination. [REVIEW]Bryan Renne - 2012 - Synthese 185 (S1):43-82.details
|
|
An epistemic logic for becoming informed.Giuseppe Primiero - 2009 - Synthese 167 (2):363 - 389.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
|
|
On intermediate justification logics.Nicholas Pischke - forthcoming - Logic Journal of the IGPL.details
|
|
Gödel justification logics and realization.Nicholas Pischke - 2022 - Logic Journal of the IGPL 30 (3):343-408.details
|
|
A Note on Strong Axiomatization of Gödel Justification Logic.Nicholas Pischke - 2020 - Studia Logica 108 (4):687-724.details
|
|
A logic of defeasible argumentation: Constructing arguments in justification logic.Stipe Pandžić - 2022 - Argument and Computation 13 (1):3-47.details
|
|