| Publication | Date of Publication | Type |
|---|
Topics, non-uniform substitutions, and variable sharing
The Review of Symbolic Logic | 2026-01-16 | Paper |
Care-theoretic semantics
Journal of Logic and Computation | 2025-10-29 | Paper |
A Gödel-Dugundji-style theorem for the minimal structural logic
Journal of Logic and Computation | 2025-10-29 | Paper |
-admissibility in first-order modal relevant logics: method of normal models
Journal of Applied Logics - IfCoLog Journal of Logics and their Applications | 2025-08-28 | Paper |
-admissibility in first-order relevant logics: proof using normal models in the Mares-Goldblatt setting
The Review of Symbolic Logic | 2025-08-25 | Paper |
Consistency-sensitive epistemic modalities in information-based semantics
Studia Logica | 2025-08-19 | Paper |
| Implying and containing in truthmaker semantics | 2025-08-13 | Paper |
| A topic-theoretic perspective on variable-sharing (from the black sheep of the family) | 2025-08-13 | Paper |
Inquisitive split and structural completeness
Mathematical Structures in Computer Science | 2025-06-24 | Paper |
Subject-matter and intensional operators. III: State-sensitive subject-matter and topic sufficiency
The Review of Symbolic Logic | 2025-02-07 | Paper |
| Subject-matter and intensional operators. IV: Left and right topic sufficiency | 2024-11-20 | Paper |
Negation in negationless intuitionistic mathematics
Philosophia Mathematica. Series III | 2024-06-07 | Paper |
Executability and connexivity in an interpretation of Griss
Studia Logica | 2024-04-10 | Paper |
Topic-theoretic extensions of analytic implication
Notre Dame Journal of Formal Logic | 2024-04-08 | Paper |
Subject-matter and intensional operators. II: Applications to the theory of topic-sensitive intentional modals
Journal of Philosophical Logic | 2024-01-08 | Paper |
From Excluded Middle to Homogenization in Plumwood’s Feminist Critique of Logic
The Australasian Journal of Logic | 2023-07-27 | Paper |
Monstrous content and the bounds of discourse
Journal of Philosophical Logic | 2023-02-24 | Paper |
Deep \textsf{ST}
Journal of Philosophical Logic | 2023-01-23 | Paper |
Corrigendum: The Keisler—Shelah theorem for QmbC through semantical atomization
Logic Journal of the IGPL | 2022-06-09 | Paper |
| Tableaux and restricted quantification for systems related to weak Kleene logic | 2022-05-25 | Paper |
Meaningless divisions
Notre Dame Journal of Formal Logic | 2022-02-14 | Paper |
Introduction
The Australasian Journal of Logic | 2021-12-29 | Paper |
Robert Meyer's publications on relevant arithmetic
The Australasian Journal of Logic | 2021-12-29 | Paper |
Episodes in model-theoretic xenology: rationals as positive integers in \textsf{R}\(^\sharp\)
The Australasian Journal of Logic | 2021-12-29 | Paper |
Inconsistent models (and infinite models) for arithmetics with constructible falsity
Logic and Logical Philosophy | 2021-01-08 | Paper |
The Keisler–Shelah theorem for $\mathsf{QmbC}$ through semantical atomization
Logic Journal of the IGPL | 2021-01-08 | Paper |
Explicit analyses of proof/refutation interaction for constructible falsity and Heyting–Brouwer logic
Journal Of Logic And Computation | 2020-12-15 | Paper |
Variations on the collapsing lemma
Outstanding Contributions to Logic | 2020-08-10 | Paper |
| Modeling the interaction of computer errors by four-valued contaminating logics | 2020-03-04 | Paper |
Logics based on linear orders of contaminating values
Journal Of Logic And Computation | 2020-02-03 | Paper |
Relevant logics obeying component homogeneity
The Australasian Journal of Logic | 2019-03-19 | Paper |
Parity, Relevance, and Gentle Explosiveness in the Context of Sylvan's Mate Function
The Australasian Journal of Logic | 2019-03-19 | Paper |
A computational interpretation of conceptivism
Journal of Applied Non-Classical Logics | 2018-08-28 | Paper |
| A Gödel-Artemov-style analysis of constructible falsity | 2018-04-06 | Paper |
Rivals to Belnap-Dunn logic on interlaced trilattices
Studia Logica | 2017-12-14 | Paper |
Meaning and proscription in formal logic. Variations on the propositional logic of William T. Parry
Trends in Logic -- Studia Logica Library | 2017-12-06 | Paper |
Dunn-Priest quotients of many-valued structures
Notre Dame Journal of Formal Logic | 2017-07-21 | Paper |
Two paradoxes of semantic information
Synthese | 2017-03-14 | Paper |
| Remarks on ontological dependence in set theory | 2017-03-07 | Paper |
Faulty Belnap computers and subsystems of FDE
Journal Of Logic And Computation | 2017-01-31 | Paper |
Correia semantics revisited
Studia Logica | 2016-06-28 | Paper |
Logics of nonsense and Parry systems
Journal of Philosophical Logic | 2015-03-24 | Paper |
On non-deterministic quantification
Logica Universalis | 2015-02-05 | Paper |
Extensions of Priest-da Costa logic
Studia Logica | 2014-06-19 | Paper |
Notes on the model theory of DeMorgan logics
Notre Dame Journal of Formal Logic | 2012-06-01 | Paper |
