| Publication | Date of Publication | Type |
|---|
Revisiting McKinsey's `syntactical' construction of modality
| 2021-02-06 | Paper |
Carnap's Modal Predicate Logic
Logical Modalities from Aristotle to Carnap | 2020-02-20 | Paper |
Why Propositions Have No Structure
Nôus | 2017-07-14 | Paper |
Hamblin on Time
Nôus | 2017-07-14 | Paper |
CARNAP AND McKINSEY: Topics in the Pre-History of Possible-Worlds Semantics
Proceedings of the 12th Asian Logic Conference | 2017-05-31 | Paper |
scientific article; zbMATH DE number 6704247 (Why is no real title available?)
| 2017-04-11 | Paper |
Prior on the semantics of modal and tense logic
Synthese | 2017-03-14 | Paper |
Worlds and models in Bayart and Carnap
| 2017-03-07 | Paper |
The completeness of Carnap's predicate logic
| 2016-02-01 | Paper |
Predicate metric tense logic for `now' and `then'
Journal of Philosophical Logic | 2013-04-11 | Paper |
Axiomatising the Prior future in predicate logic
Logica Universalis | 2013-04-08 | Paper |
scientific article; zbMATH DE number 5778843 (Why is no real title available?)
| 2010-09-02 | Paper |
Temporal reference in linear tense logic
Journal of Philosophical Logic | 2010-04-26 | Paper |
scientific article; zbMATH DE number 5622639 (Why is no real title available?)
| 2009-10-28 | Paper |
On a misapplication of the world-time parallel
| 2009-10-12 | Paper |
Does every proposition have a unique contradictory?
Analysis | 2008-08-21 | Paper |
The Prior future
| 2008-02-11 | Paper |
From modal discourse to possible worlds
Studia Logica | 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 |
scientific article; zbMATH DE number 2121570 (Why is no real title available?)
| 2004-12-09 | Paper |
scientific article; zbMATH DE number 1749192 (Why is no real title available?)
| 2002-11-26 | Paper |
scientific article; zbMATH DE number 1735876 (Why is no real title available?)
| 2002-11-04 | Paper |
A note on de re modalities
Logique et Analyse. Nouvelle Série | 2001-09-04 | Paper |
Some incompletable modal predicate logics
Logique et Analyse. Nouvelle Série | 2001-09-04 | Paper |
scientific article; zbMATH DE number 1140574 (Why is no real title available?)
| 1998-04-13 | Paper |
scientific article; zbMATH DE number 1028812 (Why is no real title available?)
| 1997-07-08 | Paper |
Incompleteness and the Barcan formula
Journal of Philosophical Logic | 1996-08-15 | Paper |
scientific article; zbMATH DE number 698631 (Why is no real title available?)
| 1995-10-31 | Paper |
scientific article; zbMATH DE number 755666 (Why is no real title available?)
| 1995-05-15 | Paper |
scientific article; zbMATH DE number 733405 (Why is no real title available?)
| 1994-01-01 | Paper |
Semantical essays. Possible worlds and their rivals
Studies in Linguistics and Philosophy | 1992-09-17 | Paper |
Modality and Mellor's McTaggart
Studia Logica | 1990-01-01 | Paper |
Necessity and contingency
Studia Logica | 1988-01-01 | Paper |
scientific article; zbMATH DE number 4132134 (Why is no real title available?)
| 1988-01-01 | Paper |
Magari's theorem via the recession frame
Journal of Philosophical Logic | 1987-01-01 | Paper |
A more generally useful measure of the weight of examination components
British Journal of Mathematical and Statistical Psychology | 1987-01-01 | Paper |
scientific article; zbMATH DE number 4033697 (Why is no real title available?)
| 1986-01-01 | Paper |
Why objects exist but events occur
Studia Logica | 1986-01-01 | Paper |
scientific article; zbMATH DE number 4014676 (Why is no real title available?)
| 1986-01-01 | Paper |
The decidable normal modal logics are not recursively enumerable
Journal of Philosophical Logic | 1985-01-01 | Paper |
scientific article; zbMATH DE number 4014675 (Why is no real title available?)
| 1984-01-01 | Paper |
An incomplete decidable modal logic
Journal of Symbolic Logic | 1984-01-01 | Paper |
KM and the finite model property
Notre Dame Journal of Formal Logic | 1983-01-01 | Paper |
scientific article; zbMATH DE number 3845547 (Why is no real title available?)
| 1983-01-01 | Paper |
Urn models: A classical exposition
Studia Logica | 1982-01-01 | Paper |
scientific article; zbMATH DE number 3831896 (Why is no real title available?)
| 1982-01-01 | Paper |
scientific article; zbMATH DE number 3777454 (Why is no real title available?)
| 1982-01-01 | Paper |
Quotational theories of propositional attitudes
Journal of Philosophical Logic | 1980-01-01 | Paper |
scientific article; zbMATH DE number 3657768 (Why is no real title available?)
| 1979-01-01 | Paper |
scientific article; zbMATH DE number 3634209 (Why is no real title available?)
| 1979-01-01 | Paper |
scientific article; zbMATH DE number 3609640 (Why is no real title available?)
| 1978-01-01 | Paper |
Hyperintensional logic
Studia Logica | 1975-01-01 | Paper |
Omnitemporal logic and converging time
Theoria | 1975-01-01 | Paper |
scientific article; zbMATH DE number 3492652 (Why is no real title available?)
| 1975-01-01 | Paper |
Note on the use of sequences in 'Logics and languages'
Notre Dame Journal of Formal Logic | 1975-01-01 | Paper |
scientific article; zbMATH DE number 3487415 (Why is no real title available?)
| 1975-01-01 | Paper |
Adverbs and events
Synthese | 1974-01-01 | Paper |
scientific article; zbMATH DE number 3450164 (Why is no real title available?)
| 1973-01-01 | Paper |
Intensional logics and logical truth
Journal of Philosophical Logic | 1972-01-01 | Paper |
Second‐Order Intensional Logic
Mathematical Logic Quarterly | 1972-01-01 | Paper |
The completeness of S1 and some related systems
Notre Dame Journal of Formal Logic | 1972-01-01 | Paper |
scientific article; zbMATH DE number 3420710 (Why is no real title available?)
| 1972-01-01 | Paper |
scientific article; zbMATH DE number 3378894 (Why is no real title available?)
| 1971-01-01 | Paper |
scientific article; zbMATH DE number 3341119 (Why is no real title available?)
| 1970-01-01 | Paper |
Classical intensional logics
Theoria | 1970-01-01 | Paper |
A conjunctive normal form for S3.5
Journal of Symbolic Logic | 1969-01-01 | Paper |
The elimination of De Re modalities
Journal of Symbolic Logic | 1969-01-01 | Paper |
scientific article; zbMATH DE number 3325547 (Why is no real title available?)
| 1968-01-01 | Paper |
Some proofs of relative completeness in modal logic
Notre Dame Journal of Formal Logic | 1968-01-01 | Paper |
Completeness without the Barcan formula
Notre Dame Journal of Formal Logic | 1968-01-01 | Paper |
The Representation of Intensional Logics
Mathematical Logic Quarterly | 1968-01-01 | Paper |
Note on a system of Åqvist
Journal of Symbolic Logic | 1967-01-01 | Paper |
A Henkin completeness theorem for T
Notre Dame Journal of Formal Logic | 1967-01-01 | Paper |
scientific article; zbMATH DE number 3266580 (Why is no real title available?)
| 1967-01-01 | Paper |
Alternative completeness theorems for modal systems
Notre Dame Journal of Formal Logic | 1967-01-01 | Paper |
scientific article; zbMATH DE number 3265735 (Why is no real title available?)
| 1967-01-01 | Paper |
scientific article; zbMATH DE number 3248009 (Why is no real title available?)
| 1966-01-01 | Paper |
Functions of Propositions
Journal of Symbolic Logic | 1966-01-01 | Paper |
scientific article; zbMATH DE number 3211085 (Why is no real title available?)
| 1965-01-01 | Paper |
On the logic of incomplete answers
Journal of Symbolic Logic | 1965-01-01 | Paper |
scientific article; zbMATH DE number 3237818 (Why is no real title available?)
| 1965-01-01 | Paper |
