| Publication | Date of Publication | Type |
|---|
Quantifiers in connexive logic (in general and in particular)
Logic Journal of the IGPL | 2025-11-26 | Paper |
Bi-connexive logic, bilateralism, and negation inconsistency
The Review of Symbolic Logic | 2025-10-21 | Paper |
| Ten open problems in connexive logic | 2025-10-14 | Paper |
| Another generalization of connexive logic C | 2025-10-14 | Paper |
| A note on the historiography of pre-modern connexive logic | 2025-10-14 | Paper |
| Remarks on semantic information and logic. From semantic tetralateralism to the pentalattice \(\mathbf{65536}_5\) | 2024-11-20 | Paper |
| A note on synonymy in proof-theoretic semantics | 2024-10-01 | Paper |
Connexive logic, connexivity, and connexivism: remarks on terminology
Studia Logica | 2024-04-10 | Paper |
On Synonymy in Proof-Theoretic Semantics: The Case of \(\mathtt{2Int}\)
Bulletin of the Section of Logic | 2024-02-29 | Paper |
Logical multilateralism
Journal of Philosophical Logic | 2024-01-08 | Paper |
The nature of entailment: an informational approach
Synthese | 2023-12-14 | Paper |
Correction to: ``The nature of entailment: an informational approach''
Synthese | 2023-12-14 | Paper |
On the provable contradictions of the connexive logics \(\mathbf{C}\) and \(\mathbf{C3}\)
Journal of Philosophical Logic | 2023-10-24 | Paper |
<scp>Stit</scp>-LOGIC FOR IMAGINATION EPISODES WITH VOLUNTARY INPUT
The Review of Symbolic Logic | 2023-09-20 | Paper |
Questions to Michael Dunn
Logical Investigations | 2023-01-16 | Paper |
| scientific article; zbMATH DE number 7585730 (Why is no real title available?) | 2022-09-15 | Paper |
| scientific article; zbMATH DE number 7576848 (Why is no real title available?) | 2022-08-26 | Paper |
| scientific article; zbMATH DE number 7576856 (Why is no real title available?) | 2022-08-26 | Paper |
Connexive Variants of Modal Logics Over FDE
Outstanding Contributions to Logic | 2022-01-04 | Paper |
Proof systems for various \textsf{FDE}-based modal logics
The Review of Symbolic Logic | 2021-05-11 | Paper |
Routley star and hyperintensionality
Journal of Philosophical Logic | 2021-05-07 | Paper |
On definability of connectives and modal logics over \textbf{FDE}
Logic and Logical Philosophy | 2021-01-08 | Paper |
Connexive logics. An overview and current trends
Logic and Logical Philosophy | 2021-01-08 | Paper |
Connexive conditional logic. I
Logic and Logical Philosophy | 2021-01-08 | Paper |
On non-transitive ``identity''
Outstanding Contributions to Logic | 2020-08-10 | Paper |
Interview with Prof. Nuel D. Belnap
New Essays on Belnap-Dunn Logic | 2020-08-10 | Paper |
An invitation to new essays on Belnap-Dunn logic
New Essays on Belnap-Dunn Logic | 2020-08-10 | Paper |
On split negation, strong negation, information, falsification, and verification
Outstanding Contributions to Logic | 2020-08-07 | Paper |
Simplified tableaux for STIT imagination logic
Journal of Philosophical Logic | 2020-02-14 | Paper |
On the methodology of paraconsistent logic
Logical Studies of Paraconsistent Reasoning in Science and Mathematics | 2020-02-04 | Paper |
Prawitz, Proofs, and Meaning
Dag Prawitz on Proofs and Meaning | 2020-02-04 | Paper |
Inference as doxastic agency. I: The basics of justification stit logic
Studia Logica | 2019-05-15 | Paper |
Negation as cancellation, connexive logic, and qLPm
The Australasian Journal of Logic | 2019-03-19 | Paper |
On contra-classical variants of Nelson logic \textbf{N4} and its classical extension
The Review of Symbolic Logic | 2018-11-29 | Paper |
An inferentially many-valued two-dimensional notion of entailment
Bulletin of the Section of Logic | 2018-07-12 | Paper |
An axiomatic system and a tableau calculus for STIT imagination logic
Journal of Philosophical Logic | 2018-05-28 | Paper |
| Inference as doxastic agency. II: Ramifications and refinements | 2018-05-14 | Paper |
Remarks on the logic of imagination. A step towards understanding doxastic control through imagination
Synthese | 2018-03-27 | Paper |
Reprint of: ``A more general general proof theory''
Journal of Applied Logic | 2018-01-31 | Paper |
A more general general proof theory
Journal of Applied Logic | 2018-01-11 | Paper |
40 years of FDE: an introductory overview
Studia Logica | 2017-12-14 | Paper |
Disentangling \textsf{FDE}-based paraconsistent modal logics
Studia Logica | 2017-12-14 | Paper |
Kripke completeness of bi-intuitionistic multilattice logic and its connexive variant
Studia Logica | 2017-12-14 | Paper |
Falsification, natural deduction and bi-intuitionistic logic
Journal of Logic and Computation | 2016-04-28 | Paper |
External curries
Journal of Philosophical Logic | 2015-09-21 | Paper |
The logic of generalized truth values and the logic of bilattices
Studia Logica | 2015-06-18 | Paper |
A non-inferentialist, anti-realistic conception of logical truth and falsity
Topoi | 2015-03-27 | Paper |
Hypersequent and display calculi -- a unified perspective
Studia Logica | 2015-02-27 | Paper |
| scientific article; zbMATH DE number 6407640 (Why is no real title available?) | 2015-02-24 | Paper |
| Entailment relations and/as truth values | 2014-04-23 | Paper |
| Connexive modal logic based on positive S4 | 2013-04-24 | Paper |
| A sound and complete axiomatic system of bdi-stit logic | 2013-01-27 | Paper |
Reasoning About Belief Revision
Belief Revision meets Philosophy of Science | 2012-09-14 | Paper |
| Proofs, disproofs, and their duals | 2012-08-05 | Paper |
Modal logics with Belnapian truth values
Journal of Applied Non-Classical Logics | 2012-07-17 | Paper |
Proof theory of Nelson's paraconsistent logic: a uniform perspective
Theoretical Computer Science | 2012-03-13 | Paper |
Truth and falsehood. An inquiry into generalized logical values
Trends in Logic -- Studia Logica Library | 2012-01-18 | Paper |
Synchronized linear-time temporal logic
Studia Logica | 2011-11-23 | Paper |
Completeness and cut-elimination theorems for trilattice logics
Annals of Pure and Applied Logic | 2011-09-22 | Paper |
Symmetric and dual paraconsistent logics
Logic and Logical Philosophy | 2011-07-06 | Paper |
| Harmonious many-valued propositional logics and the logic of computer networks | 2011-05-31 | Paper |
A Paraconsistent Linear-time Temporal Logic
Fundamenta Informaticae | 2011-03-28 | Paper |
Intuitionistic Trilattice Logics
Journal Of Logic And Computation | 2011-01-19 | Paper |
Generalized truth values.: A reply to Dubois
Logic Journal of the IGPL | 2010-12-14 | Paper |
The power of Belnap: sequent systems for \(SIXTEEN_{3 }\)
Journal of Philosophical Logic | 2010-10-06 | Paper |
Combining linear-time temporal logic with constructiveness and paraconsistency
Journal of Applied Logic | 2010-06-11 | Paper |
Editorial introduction. Truth values. II
Studia Logica | 2009-11-16 | Paper |
Constructive negation, implication, and co-implication
Journal of Applied Non-Classical Logics | 2009-11-11 | Paper |
SEQUENT CALCULI FOR SOME TRILATTICE LOGICS
The Review of Symbolic Logic | 2009-08-26 | Paper |
Editorial introduction. Truth values. I
Studia Logica | 2009-05-08 | Paper |
The slingshot argument and sentential identity
Studia Logica | 2009-05-08 | Paper |
Hyper-contradictions, generalized truth values and logics of truth and falsehood
Journal of Logic, Language and Information | 2009-03-24 | Paper |
From Logic to Mathematical Philosophy
Towards Mathematical Philosophy | 2009-02-05 | Paper |
From BDI and stit to bdi-stit logic
Logic and Logical Philosophy | 2008-11-10 | Paper |
Inconsistency-tolerant description logic. II: A tableau algorithm for \(\mathcal{CALC}^{\mathsf C}\)
Journal of Applied Logic | 2008-09-23 | Paper |
Erratum to: ``Suszko's thesis, inferential many-valuedness, and the notion of a logical system''
Studia Logica | 2008-07-31 | Paper |
| Tableaux for multi-agent deliberative-stit logic | 2008-07-01 | Paper |
Suszko's thesis, inferential many-valuedness, and the notion of a logical system
Studia Logica | 2008-06-25 | Paper |
A Note on Negation in Categorial Grammar
Logic Journal of the IGPL | 2008-01-14 | Paper |
Logical connectives for constructive modal logic
Synthese | 2006-12-20 | Paper |
Connectives stranger than tonk
Journal of Philosophical Logic | 2006-11-17 | Paper |
| Logic of computer networks | 2006-11-02 | Paper |
| On the negation of action types: constructive concurrent PDL | 2006-08-16 | Paper |
| Connexive modal logic | 2006-08-15 | Paper |
Some useful 16-valued logics: How a computer network should think
Journal of Philosophical Logic | 2006-02-08 | Paper |
| scientific article; zbMATH DE number 5000988 (Why is no real title available?) | 2006-01-24 | Paper |
| scientific article; zbMATH DE number 2236616 (Why is no real title available?) | 2005-12-08 | Paper |
| scientific article; zbMATH DE number 2101968 (Why is no real title available?) | 2004-09-22 | Paper |
| scientific article; zbMATH DE number 2070200 (Why is no real title available?) | 2004-06-08 | Paper |
| scientific article; zbMATH DE number 1749203 (Why is no real title available?) | 2003-05-12 | Paper |
Diamonds are a philosopher's best friends. The knowability paradox and modal epistemic relevance logic
Journal of Philosophical Logic | 2003-04-27 | Paper |
| scientific article; zbMATH DE number 1749148 (Why is no real title available?) | 2003-02-25 | Paper |
A rule-extension of the non-associative Lambek calculus
Studia Logica | 2002-12-15 | Paper |
| scientific article; zbMATH DE number 1735869 (Why is no real title available?) | 2002-10-08 | Paper |
| Negation as falsity: A reply to Tennant | 2002-03-11 | Paper |
A reduction of doxastic logic to action logic
Erkenntnis | 2002-01-21 | Paper |
Seeing to it that an agent forms a belief
Logic and Logical Philosophy | 2002-01-01 | Paper |
Nested deontic modalities: Another view of parking on highways
Erkenntnis | 2001-07-16 | Paper |
Displaying the modal logic of consistency
Journal of Symbolic Logic | 2001-07-09 | Paper |
The idea of a proof-theoretic semantics and the meaning of the logical operations
Studia Logica | 2000-11-05 | Paper |
Displaying modal logic
Trends in Logic -- Studia Logica Library | 2000-01-04 | Paper |
| scientific article; zbMATH DE number 1241671 (Why is no real title available?) | 1999-11-29 | Paper |
Editorial: Modality, of course! Modal logic, si! Modality and modal logic
Journal of Logic, Language and Information | 1999-11-29 | Paper |
Predicate logics on display
Studia Logica | 1999-10-18 | Paper |
Translation of hypersequents into display sequents
Logic Journal of the IGPL | 1998-12-02 | Paper |
| scientific article; zbMATH DE number 1140580 (Why is no real title available?) | 1998-11-01 | Paper |
Modal tableaux based on residuation
Journal Of Logic And Computation | 1998-10-20 | Paper |
| scientific article; zbMATH DE number 1163393 (Why is no real title available?) | 1998-06-11 | Paper |
Editorial introduction. Special issue on consequence relations and sequent systems
Logic Journal of the IGPL | 1998-06-08 | Paper |
| scientific article; zbMATH DE number 970629 (Why is no real title available?) | 1997-08-04 | Paper |
| scientific article; zbMATH DE number 966897 (Why is no real title available?) | 1997-05-12 | Paper |
A fugue on the themes of awareness logic and correspondence
Journal of Applied Non-Classical Logics | 1996-10-28 | Paper |
| scientific article; zbMATH DE number 912323 (Why is no real title available?) | 1996-08-01 | Paper |
| scientific article; zbMATH DE number 834567 (Why is no real title available?) | 1996-04-22 | Paper |
Semantics-based nonmonotonic inference
Notre Dame Journal of Formal Logic | 1996-01-29 | Paper |
Tarskian Structured Consequence Relations and Functional Completeness
Mathematical Logic Quarterly | 1995-07-20 | Paper |
| scientific article; zbMATH DE number 700092 (Why is no real title available?) | 1994-12-06 | Paper |
Sequent Calculi for Normal Modal Propositional Logics
Journal Of Logic And Computation | 1994-11-24 | Paper |
Informational interpretation of substructural propositional logics
Journal of Logic, Language and Information | 1994-09-01 | Paper |
The logic of information structures
Lecture Notes in Computer Science | 1993-12-08 | Paper |
Functional completeness for subsystems of intuitionistic propositional logic
Journal of Philosophical Logic | 1993-08-19 | Paper |
A general possible worlds framework for reasoning about knowledge and belief
Studia Logica | 1992-06-25 | Paper |
Bemerkungen Zur Semantik Nicht‐Normaler Möglicher Welten
Mathematical Logic Quarterly | 1989-01-01 | Paper |
