| Publication | Date of Publication | Type |
|---|
| Saul Kripke (1940--2022) | 2025-01-24 | Paper |
| \textit{De re}, \textit{de dicto}, and binding modalities | 2024-09-11 | Paper |
| Tableaus and dual Tableaus | 2024-09-06 | Paper |
| First-order modal logic | 2024-01-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5883174 | 2023-03-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5883179 | 2023-03-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5869719 | 2022-09-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5104694 | 2022-09-15 | Paper |
| Annotated revision specification programs | 2022-08-30 | Paper |
| Strict/Tolerant Family Continued: Quantifiers and Modalities | 2022-01-17 | Paper |
| The Strict/Tolerant Idea and Bilattices | 2022-01-04 | Paper |
| Strict/Tolerant Logics Built Using Generalized Weak Kleene Logics | 2021-07-06 | Paper |
| A family of strict/tolerant logics | 2021-05-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5119555 | 2020-08-30 | Paper |
| On Height and Happiness | 2020-07-27 | Paper |
| First-order justification logic with constant domain semantics | 2020-04-29 | Paper |
| Quasi-realization | 2020-01-15 | Paper |
| A symmetric approach to axiomatizing quantifiers and modalities | 2019-09-26 | Paper |
| What Are Justification Logics? | 2019-05-24 | Paper |
| Justification Logic | 2019-05-17 | Paper |
| On Modalities and Quantifiers | 2018-03-02 | Paper |
| Paraconsistent logic, evidence, and justification | 2017-12-14 | Paper |
| Modal logics, justification logics, and realization | 2016-05-20 | Paper |
| Realization using the model existence theorem | 2016-04-28 | Paper |
| The Realization Theorem for S5 A Simple, Constructive Proof | 2015-07-03 | Paper |
| Modal interpolation via nested sequents | 2015-01-23 | Paper |
| Nested sequents for intuitionistic logics | 2014-04-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5404055 | 2014-03-20 | Paper |
| Possible world semantics for first-order logic of proofs | 2014-01-13 | Paper |
| The life and work of Sergei Artemov | 2014-01-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4918406 | 2013-04-24 | Paper |
| Prefixed tableaus and nested sequents | 2012-04-13 | Paper |
| Reasoning about games | 2011-11-23 | Paper |
| Realizations and LP | 2011-08-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3007262 | 2011-06-21 | Paper |
| Justification logics and hybrid logics | 2011-03-22 | Paper |
| Justification logics, logics of knowledge, and conservativity | 2009-07-06 | Paper |
| How true it is = who says it's true | 2009-05-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3604278 | 2009-02-24 | Paper |
| Reasoning with Justifications | 2009-02-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3511020 | 2008-07-04 | Paper |
| S4LP and Local Realizability | 2008-06-05 | Paper |
| A quantified logic of evidence | 2008-03-28 | Paper |
| Realizations and LP | 2008-01-04 | Paper |
| FOIL axiomatized | 2007-02-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5465438 | 2005-08-22 | Paper |
| The logic of proofs, semantically | 2005-01-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4817193 | 2004-09-22 | Paper |
| First-order intensional logic | 2004-08-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4463930 | 2004-06-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4437809 | 2003-12-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4430411 | 2003-10-09 | Paper |
| Types, tableaus, and Gödel's God | 2003-09-07 | Paper |
| Modal Logics Between Propositional and First-order | 2003-06-18 | Paper |
| First-order modal logic | 2003-05-14 | Paper |
| Interpolation for first order S5 | 2003-04-22 | Paper |
| Term-modal logics | 2002-09-16 | Paper |
| Fixpoint semantics for logic programming a survey | 2002-07-15 | Paper |
| Barcan Both Ways | 2002-05-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2767043 | 2002-01-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2757807 | 2001-12-04 | Paper |
| Introduction | 2001-11-14 | Paper |
| A simple propositional \(\text{S}5\) tableau system | 2001-11-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2721181 | 2001-07-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2721198 | 2001-07-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4503900 | 2000-09-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4942001 | 2000-03-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4934143 | 2000-02-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4217947 | 1999-08-31 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4250033 | 1999-08-02 | Paper |
| lean TAP revisited | 1999-03-25 | Paper |
| A theory of truth that prefers falsehood | 1997-09-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4340909 | 1997-06-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4332417 | 1997-05-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4863622 | 1996-01-24 | Paper |
| Tableaus for many-valued modal logic | 1995-09-11 | Paper |
| Metric Methods Three Examples and a Theorem | 1995-02-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4296301 | 1995-01-22 | Paper |
| The family of stable models | 1994-10-31 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3996619 | 1993-01-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4022223 | 1993-01-17 | Paper |
| The Pure Logic of Necessitation | 1993-01-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3989936 | 1992-06-28 | Paper |
| Kleene's Logic, Generalized | 1992-06-28 | Paper |
| Bilattices and the semantics of logic programming | 1992-06-27 | Paper |
| Destructive Modal Resolution | 1990-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3477992 | 1990-01-01 | Paper |
| Bilattices and the theory of truth | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3204031 | 1989-01-01 | Paper |
| First-order modal tableaux | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3792274 | 1988-01-01 | Paper |
| Pseudo-Boolean valued Prolog | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5202634 | 1988-01-01 | Paper |
| Enumeration operators and modular logic programming | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4720780 | 1987-01-01 | Paper |
| Notes on the mathematical aspects of Kripke's theory of truth | 1986-01-01 | Paper |
| Partial models and logic programming | 1986-01-01 | Paper |
| A kripke-kleene semantics for logic programs* | 1985-01-01 | Paper |
| A deterministic prolog fixpoint semantics | 1985-01-01 | Paper |
| Linear reasoning in modal logic | 1984-01-01 | Paper |
| Proof methods for modal and intuitionistic logics | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4745814 | 1982-01-01 | Paper |
| Fundamentals of generalized recursion theory | 1981-01-01 | Paper |
| Postmodernism and the Reclaiming of Tradition | 1979-01-01 | Paper |
| Elementary Formal Systems for Hyperarithmetical Relations | 1978-01-01 | Paper |
| Subformula results in some propositional modal logics | 1978-01-01 | Paper |
| A tableau system for propositional S5 | 1977-01-01 | Paper |
| A modal logic \(\varepsilon\)-calculus | 1975-01-01 | Paper |
| Model existence theorems for modal and intuitionistic logics | 1974-01-01 | Paper |
| A Modal Logic Analog of Smullyan's Fundamental Theorem | 1973-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5643954 | 1972-01-01 | Paper |
| Non‐classical logics and the independence results of set theory | 1972-01-01 | Paper |
| Tableau methods of proof for modal logics | 1972-01-01 | Paper |
| \(\epsilon\)-calculus based axiom systems for some propositional modal logics | 1972-01-01 | Paper |
| An embedding of classical logic in S4 | 1971-01-01 | Paper |
| A tableau proof method admitting the empty domain | 1971-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5605214 | 1970-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5582318 | 1969-01-01 | Paper |
| Logics With Several Modal Operators | 1969-01-01 | Paper |
