- Probabilistic Justification Logic.Joseph Lurie - 2018 - Philosophies 3 (1):2.details
|
|
Justification Logic as a foundation for certifying mobile computation.Eduardo Bonelli & Federico Feller - 2012 - Annals of Pure and Applied Logic 163 (7):935-950.details
|
|
The topology of justification.Sergei Artemov & Elena Nogina - 2008 - Logic and Logical Philosophy 17 (1-2):59-71.details
|
|
Realization of Intuitionistic Logic by Proof Polynomials.Sergei N. Artemov - 1999 - Journal of Applied Non-Classical Logics 9 (2-3):285-301.details
|
|
Logic of proofs.Sergei Artëmov - 1994 - Annals of Pure and Applied Logic 67 (1-3):29-59.details
|
|
Explicit provability and constructive semantics.Sergei N. Artemov - 2001 - Bulletin of Symbolic Logic 7 (1):1-36.details
|
|
Data storage interpretation of labeled modal logic.Sergei Artëmov & Vladimir Krupski - 1996 - Annals of Pure and Applied Logic 78 (1-3):57-71.details
|
|
Data storage interpretation of labeled modal logic.M. A. Arslanov, S. Lempp, R. A. Shore, S. Artemov, V. Krupski, A. Dabrowski, L. S. Moss, R. Parikh, T. Eiter & G. Gottlob - 1996 - Annals of Pure and Applied Logic 78 (1-3):57-71.details
|
|
Executability and Connexivity in an Interpretation of Griss.Thomas M. Ferguson - 2023 - Studia Logica 112 (1):459-509.details
|
|
2000 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium 2000.Carol Wood - 2001 - Bulletin of Symbolic Logic 7 (1):82-163.details
|
|
Logic of proofs and provability.Tatiana Yavorskaya - 2001 - Annals of Pure and Applied Logic 113 (1-3):345-372.details
|
|
Provability logics with quantifiers on proofs.Rostislav E. Yavorsky - 2001 - Annals of Pure and Applied Logic 113 (1-3):373-387.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
|
|
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
|
|
Epistemic logic and epistemology: The state of their affairs.Johan van Benthem - 2006 - Philosophical Studies 128 (1):49 - 76.details
|
|
Tracking reasons with extensions of relevant logics.Shawn Standefer - 2019 - Logic Journal of the IGPL 27 (4):543-569.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
|
|
Proof internalization in generalized Frege systems for classical logic.Yury Savateev - 2014 - Annals of Pure and Applied Logic 165 (1):340-356.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
|
|
A survey of propositional realizability logic.Valery Plisko - 2009 - Bulletin of Symbolic Logic 15 (1):1-42.details
|
|
Logic of informal provability with truth values.Pawel Pawlowski & Rafal Urbaniak - 2023 - Logic Journal of the IGPL 31 (1):172-193.details
|
|
On modal logic of deductive closure.Pavel Naumov - 2006 - Annals of Pure and Applied Logic 141 (1):218-224.details
|
|
The Logic of Uncertain Justifications.Robert S. Milnikel - 2014 - Annals of Pure and Applied Logic 165 (1):305-315.details
|
|
Conservativity for logics of justified belief: Two approaches.Robert S. Milnikel - 2012 - Annals of Pure and Applied Logic 163 (7):809-819.details
|
|
An operational logic of proofs with positive and negative information.Duccio Luchi & Franco Montagna - 1999 - Studia Logica 63 (1):7-25.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
|
|
Getting some (non-classical) closure with justification logic.Shawn Standefer, Ted Shear & Rohan French - 2023 - Asian Journal of Philosophy 2 (2):1-25.details
|
|
Justification logics and hybrid logics.Melvin Fitting - 2010 - Journal of Applied Logic 8 (4):356-370.details
|
|
Provability logic.Rineke Verbrugge - 2008 - Stanford Encyclopedia of Philosophy.details
|
|
Merging Observation and Access in Dynamic Logic.Johan van Benthem - unknowndetails
|
|
The Stories of Logic and Information.Johan van Benthem, Maricarmen Martinez, David Israel & John Perry - unknowndetails
|
|
An Outline of a Substructural Model of BTA Belief.Igor Sedlar - 2013 - Organon F: Medzinárodný Časopis Pre Analytickú Filozofiu 20 (2):160-170.details
|
|