| Publication | Date of Publication | Type |
|---|
| Saul Kripke (1940--2022) | 2025-01-24 | Paper |
| Gregory Samuilovich Tseytin (obituary) | 2024-01-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5039159 | 2022-10-12 | Paper |
| Towards Syntactic Epistemic Logic | 2022-10-07 | Paper |
| Boris Abramovich Trakhtenbrot | 2022-05-09 | Paper |
| Editorial | 2022-02-08 | Paper |
| Justification awareness | 2020-12-15 | Paper |
| Observable models | 2020-05-06 | Paper |
| On aggregating probabilistic evidence | 2020-04-29 | Paper |
| Justification Logic | 2019-05-17 | Paper |
| The Provability of Consistency | 2019-02-19 | Paper |
| Justification awareness models | 2018-04-06 | Paper |
| Constructive knowledge and the justified true belief paradigm | 2018-01-12 | Paper |
| On Aggregating Probabilistic Evidence | 2017-07-21 | Paper |
| The Logic of Justification | 2017-04-07 | Paper |
| Knowing the Model | 2016-10-16 | Paper |
| INTUITIONISTIC EPISTEMIC LOGIC | 2016-07-29 | Paper |
| Binding modalities | 2016-04-28 | Paper |
| Why Do We Need Justification Logic? | 2015-07-03 | Paper |
| On Definitive Solutions of Strategic Games | 2015-05-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2939495 | 2015-01-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2939498 | 2015-01-22 | Paper |
| Discovering knowability: a semantic analysis | 2014-04-07 | Paper |
| Logical omniscience as infeasibility | 2014-01-13 | Paper |
| The ontology of justifications in the logical setting | 2012-10-01 | Paper |
| Preface to the special issue dedicated to Nikolai Alexandrovich Shanin on the occasion of his 90th birthday | 2011-09-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3007238 | 2011-06-21 | Paper |
| Tracking Evidence | 2010-09-03 | Paper |
| THE LOGIC OF JUSTIFICATION | 2010-08-13 | Paper |
| Logical Omniscience Via Proof Complexity | 2009-03-12 | Paper |
| The topology of justification | 2008-11-10 | Paper |
| Justification Logic | 2008-10-27 | Paper |
| Topological Semantics of Justification Logic | 2008-06-05 | Paper |
| Symmetric Logic of Proofs | 2008-03-25 | Paper |
| The Intensional Lambda Calculus | 2008-01-04 | Paper |
| The basic intuitionistic logic of proofs | 2007-07-09 | Paper |
| On two models of provability | 2007-06-28 | Paper |
| Computer Science Logic | 2007-06-21 | Paper |
| Justified common knowledge | 2006-08-16 | Paper |
| Introducing Justification into Epistemic Logic | 2006-02-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5692429 | 2005-09-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4681890 | 2005-06-08 | Paper |
| Kolmogorov and Gödel's approach to intuitionistic logic: current developments | 2004-12-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4436024 | 2003-11-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4534366 | 2003-05-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4329233 | 2002-12-11 | Paper |
| Realization of Intuitionistic Logic by Proof Polynomials | 2002-05-22 | Paper |
| Explicit provability and constructive semantics | 2002-02-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4499151 | 2001-03-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4501133 | 2000-09-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4263166 | 2000-06-13 | Paper |
| In Memoriam: Albert G. Dragalin 1941–1998 | 2000-06-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4896502 | 1996-10-20 | Paper |
| Data storage interpretation of labeled modal logic | 1996-07-24 | Paper |
| On first-order theories with provability operator | 1995-02-13 | Paper |
| Logic of proofs | 1994-06-08 | Paper |
| On propositional quantifiers in provability logic | 1994-04-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4282592 | 1994-04-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4283226 | 1994-04-04 | Paper |
| Finite Kripke models and predicate logics of provability | 1990-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3824287 | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3795673 | 1988-01-01 | Paper |
| Degrees of insolubility of extensions of arithmetic by true propositions | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3809769 | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5203005 | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3757914 | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3768879 | 1987-01-01 | Paper |
| Arithmetically complete modal theories | 1987-01-01 | Paper |
| ON MODAL LOGICS AXIOMATIZING PROVABILITY | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3743302 | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3731573 | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3218104 | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3964565 | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3912553 | 1980-01-01 | Paper |
| Serial Properties, Selector Proofs, and the Provability of Consistency | N/A | Paper |
