| Publication | Date of Publication | Type |
|---|
Exploring the Jungle of Intuitionistic Temporal Logics
Theory and Practice of Logic Programming | 2023-12-12 | Paper |
Strong Completeness of S4 for the Real Line
Outstanding Contributions to Logic | 2022-02-04 | Paper |
Quantified intuitionistic logic over metrizable spaces
The Review of Symbolic Logic | 2019-10-30 | Paper |
Topological-frame products of modal logics
Studia Logica | 2018-12-21 | Paper |
Completeness of second-order propositional S4 and H in topological semantics
The Review of Symbolic Logic | 2018-10-25 | Paper |
Matching topological and frame products of modal logics
Studia Logica | 2016-06-14 | Paper |
The incompleteness of \(\mathrm{S}4\oplus\mathrm{S}4\) for the product space \(\mathbb R\times\mathbb R\)
Studia Logica | 2015-06-18 | Paper |
Quantified modal logic on the rational line
The Review of Symbolic Logic | 2015-01-21 | Paper |
Indeterminacy of fair infinite lotteries
Synthese | 2015-01-08 | Paper |
Strong completeness of S4 for any dense-in-itself metric space
The Review of Symbolic Logic | 2014-03-06 | Paper |
How truth behaves when there's no vicious reference
Journal of Philosophical Logic | 2010-10-06 | Paper |
The modal logic of continuous functions on the rational numbers
Archive for Mathematical Logic | 2010-05-17 | Paper |
Comparing fixed-point and revision theories of truth
Journal of Philosophical Logic | 2009-09-02 | Paper |
Supervaluation fixed-point logics of truth
Journal of Philosophical Logic | 2009-07-13 | Paper |
Dynamic topological S5
Annals of Pure and Applied Logic | 2009-06-17 | Paper |
The modal logic of continuous functions on Cantor space
Archive for Mathematical Logic | 2007-01-24 | Paper |
Dynamic topological logic
Annals of Pure and Applied Logic | 2005-01-31 | Paper |
Some supervaluation-based consequence relations
Journal of Philosophical Logic | 2003-08-21 | Paper |
Dunn's relevant predication, real properties and identity
Erkenntnis | 2002-06-06 | Paper |
Propositional quantification in the topological semantics for S4
Notre Dame Journal of Formal Logic | 2000-12-06 | Paper |
Relevant identity
Journal of Philosophical Logic | 1999-10-28 | Paper |
On the complexity of propositional quantification in intuitionistic logic
Journal of Symbolic Logic | 1998-05-06 | Paper |
Defining relevant implication in a propositionally quantified <b>S4</b>
Journal of Symbolic Logic | 1998-04-29 | Paper |
The logical structure of linguistic commitment. II: Systems of relevant commitment entailment
Journal of Philosophical Logic | 1996-11-12 | Paper |
The Gupta-Belnap systems \({\mathbf S}^ \#\) and \({\mathbf S}^*\) are not axiomatisable
Notre Dame Journal of Formal Logic | 1994-09-11 | Paper |
The logical structure of linguistic commitment. I: Four systems of non- relevant commitment entailment
Journal of Philosophical Logic | 1994-01-01 | Paper |
Quantifying over propositions in relevance logic: nonaxiomatisability of primary interpretations of ∀<i>p</i> and ∃<i>p</i>
Journal of Symbolic Logic | 1993-08-17 | Paper |
Relevant predication: Grammatical characterisations
Journal of Philosophical Logic | 1989-01-01 | Paper |
