| Publication | Date of Publication | Type |
|---|
Simple tableaus for simple intuitionistic logics
Notre Dame Journal of Formal Logic | 2026-03-31 | Paper |
Saul Kripke (1940--2022)
The Bulletin of Symbolic Logic | 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
Synthese Library | 2024-01-02 | Paper |
scientific article; zbMATH DE number 7669404 (Why is no real title available?)
| 2023-03-29 | Paper |
scientific article; zbMATH DE number 7669409 (Why is no real title available?)
| 2023-03-29 | Paper |
scientific article; zbMATH DE number 7594251 (Why is no real title available?)
| 2022-09-28 | Paper |
scientific article; zbMATH DE number 7585703 (Why is no real title available?)
| 2022-09-15 | Paper |
Annotated revision specification programs
Logic Programming and Nonmonotonic Reasoning | 2022-08-30 | Paper |
The strict/tolerant family continued: quantifiers and modalities
The Australasian Journal of Logic | 2022-01-17 | Paper |
The strict/tolerant idea and bilattices
Outstanding Contributions to Logic | 2022-01-04 | Paper |
Strict/tolerant logics built using generalized weak Kleene logics
The Australasian Journal of Logic | 2021-07-06 | Paper |
A family of strict/tolerant logics
Journal of Philosophical Logic | 2021-05-07 | Paper |
Numbers
| 2020-08-30 | Paper |
On height and happiness
Outstanding Contributions to Logic | 2020-07-27 | Paper |
First-order justification logic with constant domain semantics
Journal Of Logic And Computation | 2020-04-29 | Paper |
Quasi-realization
| 2020-01-15 | Paper |
A symmetric approach to axiomatizing quantifiers and modalities
Synthese | 2019-09-26 | Paper |
What are justification logics?
Fundamenta Informaticae | 2019-05-24 | Paper |
Justification logic. Reasoning with reasons
| 2019-05-17 | Paper |
On modalities and quantifiers
Fundamenta Informaticae | 2018-03-02 | Paper |
Paraconsistent logic, evidence, and justification
Studia Logica | 2017-12-14 | Paper |
Modal logics, justification logics, and realization
Annals of Pure and Applied Logic | 2016-05-20 | Paper |
Realization using the model existence theorem
Journal of Logic and Computation | 2016-04-28 | Paper |
The realization theorem for S5 a simple, constructive proof
Games, Norms and Reasons | 2015-07-03 | Paper |
Modal interpolation via nested sequents
Annals of Pure and Applied Logic | 2015-01-23 | Paper |
Nested sequents for intuitionistic logics
Notre Dame Journal of Formal Logic | 2014-04-04 | Paper |
scientific article; zbMATH DE number 6271913 (Why is no real title available?)
| 2014-03-20 | Paper |
Possible world semantics for first-order logic of proofs
Annals of Pure and Applied Logic | 2014-01-13 | Paper |
The life and work of Sergei Artemov
Annals of Pure and Applied Logic | 2014-01-13 | Paper |
Proving completeness for nested sequent calculi
| 2013-04-24 | Paper |
Prefixed tableaus and nested sequents
Annals of Pure and Applied Logic | 2012-04-13 | Paper |
Reasoning about games
Studia Logica | 2011-11-23 | Paper |
Realizations and LP
Annals of Pure and Applied Logic | 2011-08-26 | Paper |
scientific article; zbMATH DE number 5910657 (Why is no real title available?)
| 2011-06-21 | Paper |
Justification logics and hybrid logics
Journal of Applied Logic | 2011-03-22 | Paper |
Justification logics, logics of knowledge, and conservativity
Annals of Mathematics and Artificial Intelligence | 2009-07-06 | Paper |
How true it is = who says it's true
Studia Logica | 2009-05-08 | Paper |
scientific article; zbMATH DE number 5510996 (Why is no real title available?)
| 2009-02-24 | Paper |
Reasoning with Justifications
Towards Mathematical Philosophy | 2009-02-05 | Paper |
Incompleteness in the land of sets
| 2008-07-04 | Paper |
S4LP and Local Realizability
Computer Science – Theory and Applications | 2008-06-05 | Paper |
A quantified logic of evidence
Annals of Pure and Applied Logic | 2008-03-28 | Paper |
Realizations and LP
Logical Foundations of Computer Science | 2008-01-04 | Paper |
FOIL axiomatized
Studia Logica | 2007-02-13 | Paper |
scientific article; zbMATH DE number 2196588 (Why is no real title available?)
| 2005-08-22 | Paper |
The logic of proofs, semantically
Annals of Pure and Applied Logic | 2005-01-11 | Paper |
scientific article; zbMATH DE number 2101967 (Why is no real title available?)
| 2004-09-22 | Paper |
First-order intensional logic
Annals of Pure and Applied Logic | 2004-08-06 | Paper |
scientific article; zbMATH DE number 2070194 (Why is no real title available?)
| 2004-06-08 | Paper |
scientific article; zbMATH DE number 2012391 (Why is no real title available?)
| 2003-12-15 | Paper |
scientific article; zbMATH DE number 1989663 (Why is no real title available?)
| 2003-10-09 | Paper |
Types, tableaus, and Gödel's God
Trends in Logic -- Studia Logica Library | 2003-09-07 | Paper |
Modal Logics Between Propositional and First-order
Journal Of Logic And Computation | 2003-06-18 | Paper |
First-order modal logic
Synthese Library | 2003-05-14 | Paper |
Interpolation for first order S5
Journal of Symbolic Logic | 2003-04-22 | Paper |
Term-modal logics
Studia Logica | 2002-09-16 | Paper |
Fixpoint semantics for logic programming a survey
Theoretical Computer Science | 2002-07-15 | Paper |
Barcan Both Ways
Journal of Applied Non-Classical Logics | 2002-05-22 | Paper |
scientific article; zbMATH DE number 1696786 (Why is no real title available?)
| 2002-01-28 | Paper |
scientific article; zbMATH DE number 1678360 (Why is no real title available?)
| 2001-12-04 | Paper |
Introduction
| 2001-11-14 | Paper |
A simple propositional \(\text{S}5\) tableau system
Annals of Pure and Applied Logic | 2001-11-09 | Paper |
scientific article; zbMATH DE number 1612536 (Why is no real title available?)
| 2001-07-01 | Paper |
scientific article; zbMATH DE number 1612553 (Why is no real title available?)
| 2001-07-01 | Paper |
scientific article; zbMATH DE number 1507180 (Why is no real title available?)
| 2000-09-14 | Paper |
scientific article; zbMATH DE number 1418446 (Why is no real title available?)
| 2000-03-19 | Paper |
scientific article; zbMATH DE number 1389650 (Why is no real title available?)
| 2000-02-20 | Paper |
scientific article; zbMATH DE number 1222423 (Why is no real title available?)
| 1999-08-31 | Paper |
scientific article; zbMATH DE number 1303424 (Why is no real title available?)
| 1999-08-02 | Paper |
lean TAP revisited
Journal Of Logic And Computation | 1999-03-25 | Paper |
A theory of truth that prefers falsehood
Journal of Philosophical Logic | 1997-09-17 | Paper |
scientific article; zbMATH DE number 1021638 (Why is no real title available?)
| 1997-06-16 | Paper |
scientific article; zbMATH DE number 978241 (Why is no real title available?)
| 1997-05-22 | Paper |
scientific article; zbMATH DE number 837700 (Why is no real title available?)
| 1996-01-24 | Paper |
Tableaus for many-valued modal logic
Studia Logica | 1995-09-11 | Paper |
Metric Methods Three Examples and a Theorem
The Journal of Logic Programming | 1995-02-06 | Paper |
scientific article; zbMATH DE number 590999 (Why is no real title available?)
| 1995-01-22 | Paper |
The family of stable models
The Journal of Logic Programming | 1994-10-31 | Paper |
scientific article; zbMATH DE number 46359 (Why is no real title available?)
| 1993-01-23 | Paper |
scientific article; zbMATH DE number 97789 (Why is no real title available?)
| 1993-01-17 | Paper |
The Pure Logic of Necessitation
Journal Of Logic And Computation | 1993-01-16 | Paper |
scientific article; zbMATH DE number 35414 (Why is no real title available?)
| 1992-06-28 | Paper |
Kleene's Logic, Generalized
Journal Of Logic And Computation | 1992-06-28 | Paper |
Bilattices and the semantics of logic programming
The Journal of Logic Programming | 1992-06-27 | Paper |
Destructive Modal Resolution
Journal Of Logic And Computation | 1990-01-01 | Paper |
scientific article; zbMATH DE number 4147552 (Why is no real title available?)
| 1990-01-01 | Paper |
Bilattices and the theory of truth
Journal of Philosophical Logic | 1989-01-01 | Paper |
scientific article; zbMATH DE number 4180779 (Why is no real title available?)
| 1989-01-01 | Paper |
First-order modal tableaux
Journal of Automated Reasoning | 1988-01-01 | Paper |
scientific article; zbMATH DE number 4057054 (Why is no real title available?)
| 1988-01-01 | Paper |
Pseudo-Boolean valued Prolog
Studia Logica | 1988-01-01 | Paper |
scientific article; zbMATH DE number 4195904 (Why is no real title available?)
| 1988-01-01 | Paper |
Enumeration operators and modular logic programming
The Journal of Logic Programming | 1987-01-01 | Paper |
scientific article; zbMATH DE number 3992928 (Why is no real title available?)
| 1987-01-01 | Paper |
Notes on the mathematical aspects of Kripke's theory of truth
Notre Dame Journal of Formal Logic | 1986-01-01 | Paper |
Partial models and logic programming
Theoretical Computer Science | 1986-01-01 | Paper |
A kripke-kleene semantics for logic programs*
The Journal of Logic Programming | 1985-01-01 | Paper |
A deterministic prolog fixpoint semantics
The Journal of Logic Programming | 1985-01-01 | Paper |
Linear reasoning in modal logic
Journal of Symbolic Logic | 1984-01-01 | Paper |
Proof methods for modal and intuitionistic logics
Synthese Library | 1983-01-01 | Paper |
scientific article; zbMATH DE number 3801522 (Why is no real title available?)
| 1982-01-01 | Paper |
Fundamentals of generalized recursion theory
Studies in Logic and the Foundations of Mathematics | 1981-01-01 | Paper |
Postmodernism and the Reclaiming of Tradition
Theoria | 1979-01-01 | Paper |
Elementary Formal Systems for Hyperarithmetical Relations
Mathematical Logic Quarterly | 1978-01-01 | Paper |
Subformula results in some propositional modal logics
Studia Logica | 1978-01-01 | Paper |
A tableau system for propositional S5
Notre Dame Journal of Formal Logic | 1977-01-01 | Paper |
A modal logic \(\varepsilon\)-calculus
Notre Dame Journal of Formal Logic | 1975-01-01 | Paper |
Model existence theorems for modal and intuitionistic logics
Journal of Symbolic Logic | 1974-01-01 | Paper |
A Modal Logic Analog of Smullyan's Fundamental Theorem
Mathematical Logic Quarterly | 1973-01-01 | Paper |
scientific article; zbMATH DE number 3372015 (Why is no real title available?)
| 1972-01-01 | Paper |
Non‐classical logics and the independence results of set theory
Theoria | 1972-01-01 | Paper |
Tableau methods of proof for modal logics
Notre Dame Journal of Formal Logic | 1972-01-01 | Paper |
\(\epsilon\)-calculus based axiom systems for some propositional modal logics
Notre Dame Journal of Formal Logic | 1972-01-01 | Paper |
An embedding of classical logic in S4
Journal of Symbolic Logic | 1971-01-01 | Paper |
A tableau proof method admitting the empty domain
Notre Dame Journal of Formal Logic | 1971-01-01 | Paper |
scientific article; zbMATH DE number 3326461 (Why is no real title available?)
| 1970-01-01 | Paper |
scientific article; zbMATH DE number 3300581 (Why is no real title available?)
| 1969-01-01 | Paper |
Logics With Several Modal Operators
Theoria | 1969-01-01 | Paper |
