- Probabilistic Justification Logic.Joseph Lurie - 2018 - Philosophies 3 (1):2.details
|
|
The Nature of Appearance in Kant’s Transcendentalism: A Seman- tico-Cognitive Analysis.Sergey L. Katrechko - 2018 - Kantian Journal 37 (3):41-55.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
|
|
Justifications, Ontology, and Conservativity.Roman Kuznets & Thomas Studer - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 437-458.details
|
|
A Syntactic Realization Theorem for Justification Logics.Kai Brünnler, Remo Goerschi & Roman Kuznets - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 39-58.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
|
|
Truth, Pretense and the Liar Paradox.Bradley Armour-Garb & James A. Woodbridge - 2015 - In T. Achourioti, H. Galinon, J. Martínez Fernández & K. Fujimoto (eds.), Unifying the Philosophy of Truth. Dordrecht: Imprint: Springer. pp. 339-354.details
|
|
An Algorithmic Impossible-Worlds Model of Belief and Knowledge.Zeynep Soysal - forthcoming - Review of Symbolic Logic:1-25.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
|
|
Constructivity and Computability in Historical and Philosophical Perspective.Jacques Dubucs & Michel Bourdeau (eds.) - 2014 - Dordrecht, Netherland: Springer.details
|
|
Leo Esakia on Duality in Modal and Intuitionistic Logics.Guram Bezhanishvili (ed.) - 2014 - Dordrecht, Netherland: Springer.details
|
|
Gödel's functional interpretation and its use in current mathematics.Ulrich Kohlenbach - 2008 - Dialectica 62 (2):223–267.details
|
|
Gödel's Functional Interpretation and its Use in Current Mathematics.Ulrich Kohlenbach - 2008 - Dialectica 62 (2):223-267.details
|
|
Advances in Proof-Theoretic Semantics.Peter Schroeder-Heister & Thomas Piecha (eds.) - 2015 - Cham, Switzerland: Springer Verlag.details
|
|
Prefixed tableaus and nested sequents.Melvin Fitting - 2012 - Annals of Pure and Applied Logic 163 (3):291 - 313.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
|
|
Logic of proofs and provability.Tatiana Yavorskaya - 2001 - Annals of Pure and Applied Logic 113 (1-3):345-372.details
|
|
Operations on proofs and labels.Tatiana Yavorskaya & Natalia Rubtsova - 2007 - Journal of Applied Non-Classical Logics 17 (3):283-316.details
|
|
2008 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '08.Alex J. Wilkie - 2009 - Bulletin of Symbolic Logic 15 (1):95-139.details
|
|
A Reinterpretation of the Semilattice Semantics with Applications.Yale Weiss - 2021 - Logica Universalis 15 (2):171-191.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
|
|
2005 Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '05.Stan S. Wainer - 2006 - Bulletin of Symbolic Logic 12 (2):310-361.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
|
|
Justification logic, inference tracking, and data privacy.Thomas Studer - 2011 - Logic and Logical Philosophy 20 (4):297-306.details
|
|
Decidability for some justification logics with negative introspection.Thomas Studer - 2013 - Journal of Symbolic Logic 78 (2):388-402.details
|
|
A logic of knowing why.Chao Xu, Yanjing Wang & Thomas Studer - 2021 - Synthese 198 (2):1259-1285.details
|
|
Tracking reasons with extensions of relevant logics.Shawn Standefer - 2019 - Logic Journal of the IGPL 27 (4):543-569.details
|
|
Intermediate logics and factors of the Medvedev lattice.Andrea Sorbi & Sebastiaan A. Terwijn - 2008 - Annals of Pure and Applied Logic 155 (2):69-85.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
|
|
Substructural epistemic logics.Igor Sedlár - 2015 - Journal of Applied Non-Classical Logics 25 (3):256-285.details
|
|
Proof internalization in generalized Frege systems for classical logic.Yury Savateev - 2014 - Annals of Pure and Applied Logic 165 (1):340-356.details
|
|
Multi-agent Justification Logic: communication and evidence elimination. [REVIEW]Bryan Renne - 2012 - Synthese 185 (S1):43-82.details
|
|
Time-stamped claim logic.João Rasga, Cristina Sernadas, Erisa Karafili & Luca Viganò - 2021 - Logic Journal of the IGPL 29 (3):303-332.details
|
|
A modal type theory for formalizing trusted communications.Giuseppe Primiero & Mariarosaria Taddeo - 2012 - Journal of Applied Logic 10 (1):92-114.details
|
|
An epistemic logic for becoming informed.Giuseppe Primiero - 2009 - Synthese 167 (2):363 - 389.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
|
|
The Logic of Uncertain Justifications.Robert S. Milnikel - 2014 - Annals of Pure and Applied Logic 165 (1):305-315.details
|
|
Derivability in certain subsystems of the Logic of Proofs is-complete.Robert Milnikel - 2007 - Annals of Pure and Applied Logic 145 (3):223-239.details
|
|
Conservativity for logics of justified belief: Two approaches.Robert S. Milnikel - 2012 - Annals of Pure and Applied Logic 163 (7):809-819.details
|
|
Reasoning about proof and knowledge.Steffen Lewitzka - 2019 - Annals of Pure and Applied Logic 170 (2):218-250.details
|
|
Weak arithmetical interpretations for the Logic of Proofs.Roman Kuznets & Thomas Studer - 2016 - Logic Journal of the IGPL 24 (3):424-440.details
|
|
A Proof Theory for the Logic of Provability in True Arithmetic.Hirohiko Kushida - 2020 - Studia Logica 108 (4):857-875.details
|
|
Tableaux and hypersequents for justification logics.Hidenori Kurokawa - 2012 - Annals of Pure and Applied Logic 163 (7):831-853.details
|
|
The single-conclusion proof logic and inference rules specification.Vladimir N. Krupski - 2001 - Annals of Pure and Applied Logic 113 (1-3):181-206.details
|
|
Typing in reflective combinatory logic.Nikolai Krupski - 2006 - Annals of Pure and Applied Logic 141 (1):243-256.details
|
|