| Publication | Date of Publication | Type |
|---|
Truth-value relations and logical relations
Theoria | 2026-08-06 | Paper |
| Recent thought on \textit{Is} and \textit{Ought}: connections, confluences and rediscoveries | 2026-03-02 | Paper |
A farewell to fragility. Critical notice of Gillian K. Russell, \textit{Barriers to entailment}
The Australasian Journal of Logic | 2024-10-21 | Paper |
Contrariety re-encountered: nonstandard contraries and internal negation<b>**</b>
Logic Journal of the IGPL | 2024-02-20 | Paper |
Axiomatization via translation: Hiż's warning for predicate logic
(available as arXiv preprint) | 2023-05-15 | Paper |
Modal logics that are both monotone and antitone: Makinson's extension results and affinities between logics
Notre Dame Journal of Formal Logic | 2022-12-19 | Paper |
| Recent thought on is and ought: connections, confluences and rediscoveries | 2022-09-28 | Paper |
| scientific article; zbMATH DE number 7594253 (Why is no real title available?) | 2022-09-28 | Paper |
Idempotent variations on the theme of exclusive disjunction
Studia Logica | 2022-03-15 | Paper |
| Twins in logic -- identical and otherwise | 2021-08-03 | Paper |
Priest on negation
Outstanding Contributions to Logic | 2020-08-10 | Paper |
When is a schema not a schema? On a remark by Suszko
Studia Logica | 2020-03-27 | Paper |
Explicating logical independence
Journal of Philosophical Logic | 2020-02-24 | Paper |
Supervenience, dependence, disjunction
Logic and Logical Philosophy | 2020-02-11 | Paper |
Prior's OIC nonconservativity example revisited
Journal of Applied Non-Classical Logics | 2018-08-28 | Paper |
Classically archetypal rules
The Review of Symbolic Logic | 2018-08-07 | Paper |
Note on Contraries and Subcontraries
Nôus | 2017-07-14 | Paper |
An abelian rule for BCI -- and variations
Notre Dame Journal of Formal Logic | 2016-12-15 | Paper |
| scientific article; zbMATH DE number 6609010 (Why is no real title available?) | 2016-08-04 | Paper |
Book review of: J. W. Garson, Modal logic for philosophers. 2nd ed.
Studia Logica | 2016-05-17 | Paper |
Note on extending congruential modal logics
Notre Dame Journal of Formal Logic | 2016-03-04 | Paper |
| scientific article; zbMATH DE number 6538187 (Why is no real title available?) | 2016-02-01 | Paper |
| Power matrices and Dunn-Belnap semantics: reflections on a remark of Graham Priest | 2016-02-01 | Paper |
| An observation concerning Porte's rule in modal logic | 2015-08-14 | Paper |
Béziau on \textit{and} and \textit{or}
Studies in Universal Logic | 2015-06-24 | Paper |
Zolin and Pizzi: defining necessity from noncontingency
Erkenntnis | 2015-01-13 | Paper |
| Dana Scott's work with generalized consequence relations | 2014-05-19 | Paper |
Aggregation and idempotence
The Review of Symbolic Logic | 2014-05-02 | Paper |
Inverse images of box formulas in modal logic
Studia Logica | 2013-12-05 | Paper |
Replacement in logic
Journal of Philosophical Logic | 2013-04-11 | Paper |
Minimally congruential contexts: observations and questions on embedding E in K
Notre Dame Journal of Formal Logic | 2012-11-29 | Paper |
| scientific article; zbMATH DE number 5997452 (Why is no real title available?) | 2012-01-13 | Paper |
| The connectives | 2011-10-17 | Paper |
Variation on a trivialist argument of Paul Kabay
Journal of Logic, Language and Information | 2011-04-05 | Paper |
On a conservative extension argument of Dana Scott
Logic Journal of the IGPL | 2011-03-07 | Paper |
Collapsing modalities
Notre Dame Journal of Formal Logic | 2009-11-18 | Paper |
| Modal formulas true at some point in every model | 2009-05-27 | Paper |
Investigations into a left-structural right-substructural sequent calculus
Journal of Logic, Language and Information | 2009-03-24 | Paper |
Replacing Modus Ponens With One-Premiss Rules
Logic Journal of the IGPL | 2008-12-05 | Paper |
| scientific article; zbMATH DE number 5316611 (Why is no real title available?) | 2008-08-26 | Paper |
| scientific article; zbMATH DE number 5295715 (Why is no real title available?) | 2008-07-01 | Paper |
The Relevant Equivalence Property
Logic Journal of the IGPL | 2008-01-14 | Paper |
Modal logic for other-world agnostics: Neutrality and Halldén incompleteness
Journal of Philosophical Logic | 2007-01-29 | Paper |
Variations on a theme of Curry
Notre Dame Journal of Formal Logic | 2006-10-04 | Paper |
Identical twins, deduction theorems, and pattern functions: Exploring the implicative BCSK fragment of S5
Journal of Philosophical Logic | 2006-08-14 | Paper |
| Extensions of intuitionistic logic without the deduction theorem: some simple examples | 2006-03-29 | Paper |
| scientific article; zbMATH DE number 2213628 (Why is no real title available?) | 2005-10-11 | Paper |
For Want of an ‘And’: A Puzzle about Non-Conservative Extension
History and Philosophy of Logic | 2005-09-21 | Paper |
| scientific article; zbMATH DE number 2196617 (Why is no real title available?) | 2005-08-22 | Paper |
Archetypal forms of inference
Synthese | 2005-04-07 | Paper |
| scientific article; zbMATH DE number 2109242 (Why is no real title available?) | 2004-10-22 | Paper |
The modal logic of agreement and noncontingency
Notre Dame Journal of Formal Logic | 2004-05-27 | Paper |
A Strange Remark Attributed to Gödel
History and Philosophy of Logic | 2004-03-23 | Paper |
Similarity relations and the preservation of solidity
Journal of Logic, Language and Information | 2004-03-15 | Paper |
False though partly true -- an experiment in logic
Journal of Philosophical Logic | 2004-03-15 | Paper |
An intriguing logic with two implicational connectives
Notre Dame Journal of Formal Logic | 2002-09-19 | Paper |
The pleasures of anticipation: Enriching intuitionistic logic
Journal of Philosophical Logic | 2002-03-06 | Paper |
Note on a lemma of Komori
Scientiae Mathematicae Japonicae | 2002-01-21 | Paper |
Note on supervenience and definability
Notre Dame Journal of Formal Logic | 2001-07-17 | Paper |
The revival of rejective negation
Journal of Philosophical Logic | 2000-10-03 | Paper |
| scientific article; zbMATH DE number 1222490 (Why is no real title available?) | 1998-11-11 | Paper |
Inverses for normal modal operators
Studia Logica | 1997-10-26 | Paper |
Classes of valuations closed under operations Galois-dual to Boolean sentence connectives
Publications of the Research Institute for Mathematical Sciences, Kyoto University | 1997-10-26 | Paper |
Valuational semantics of rule derivability
Journal of Philosophical Logic | 1997-04-07 | Paper |
| scientific article; zbMATH DE number 823592 (Why is no real title available?) | 1995-12-05 | Paper |
A perspective on modal sequent logic
Publications of the Research Institute for Mathematical Sciences, Kyoto University | 1992-06-28 | Paper |
The lattice of extensional connectives: A correction
Journal of Philosophical Logic | 1988-01-01 | Paper |
Extensionality in sentence position
Journal of Philosophical Logic | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 3604872 (Why is no real title available?) | 1978-01-01 | Paper |
