| Publication | Date of Publication | Type |
|---|
| https://portal.mardi4nfdi.de/entity/Q5149064 | 2021-02-06 | Paper |
| Carnap's Modal Predicate Logic | 2020-02-20 | Paper |
| Why Propositions Have No Structure | 2017-07-14 | Paper |
| Hamblin on Time | 2017-07-14 | Paper |
| CARNAP AND McKINSEY: Topics in the Pre-History of Possible-Worlds Semantics | 2017-05-31 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2974968 | 2017-04-11 | Paper |
| Prior on the semantics of modal and tense logic | 2017-03-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2966515 | 2017-03-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3466613 | 2016-02-01 | Paper |
| Predicate metric tense logic for `now' and `then' | 2013-04-11 | Paper |
| Axiomatising the Prior future in predicate logic | 2013-04-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3582618 | 2010-09-02 | Paper |
| Temporal reference in linear tense logic | 2010-04-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3639040 | 2009-10-28 | Paper |
| On a misapplication of the world-time parallel | 2009-10-12 | Paper |
| Does every proposition have a unique contradictory? | 2008-08-21 | Paper |
| The Prior future | 2008-02-11 | Paper |
| From modal discourse to possible worlds | 2006-08-18 | Paper |
| Arabic numerals in propositional attitude sentences | 2006-06-26 | Paper |
| Even modal realists should do the best they can | 2006-01-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4830367 | 2004-12-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4532193 | 2002-11-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4329237 | 2002-11-04 | Paper |
| A note on de re modalities | 2001-09-04 | Paper |
| Some incompletable modal predicate logics | 2001-09-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4385343 | 1998-04-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4342075 | 1997-07-08 | Paper |
| Incompleteness and the Barcan formula | 1996-08-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4314073 | 1995-10-31 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4698331 | 1995-05-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4325793 | 1994-01-01 | Paper |
| Semantical essays. Possible worlds and their rivals | 1992-09-17 | Paper |
| Modality and Mellor's McTaggart | 1990-01-01 | Paper |
| Necessity and contingency | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3033742 | 1988-01-01 | Paper |
| Magari's theorem via the recession frame | 1987-01-01 | Paper |
| A more generally useful measure of the weight of examination components | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3773845 | 1986-01-01 | Paper |
| Why objects exist but events occur | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3026979 | 1986-01-01 | Paper |
| The decidable normal modal logics are not recursively enumerable | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3026978 | 1984-01-01 | Paper |
| An incomplete decidable modal logic | 1984-01-01 | Paper |
| KM and the finite model property | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3315479 | 1983-01-01 | Paper |
| Urn models: A classical exposition | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3039307 | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3956912 | 1982-01-01 | Paper |
| Quotational theories of propositional attitudes | 1980-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3856737 | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4194922 | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4175533 | 1978-01-01 | Paper |
| Hyperintensional logic | 1975-01-01 | Paper |
| Omnitemporal logic and converging time | 1975-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4074882 | 1975-01-01 | Paper |
| Note on the use of sequences in 'Logics and languages' | 1975-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4071210 | 1975-01-01 | Paper |
| Adverbs and events | 1974-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4773677 | 1973-01-01 | Paper |
| Intensional logics and logical truth | 1972-01-01 | Paper |
| Second‐Order Intensional Logic | 1972-01-01 | Paper |
| The completeness of S1 and some related systems | 1972-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5685051 | 1972-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5650670 | 1971-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5617623 | 1970-01-01 | Paper |
| Classical intensional logics | 1970-01-01 | Paper |
| A conjunctive normal form for S3.5 | 1969-01-01 | Paper |
| The elimination of De Re modalities | 1969-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5604443 | 1968-01-01 | Paper |
| Some proofs of relative completeness in modal logic | 1968-01-01 | Paper |
| Completeness without the Barcan formula | 1968-01-01 | Paper |
| The Representation of Intensional Logics | 1968-01-01 | Paper |
| Note on a system of Åqvist | 1967-01-01 | Paper |
| A Henkin completeness theorem for T | 1967-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5551119 | 1967-01-01 | Paper |
| Alternative completeness theorems for modal systems | 1967-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5552153 | 1967-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5534918 | 1966-01-01 | Paper |
| Functions of Propositions | 1966-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5338321 | 1965-01-01 | Paper |
| On the logic of incomplete answers | 1965-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5525333 | 1965-01-01 | Paper |
