List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Revisiting McKinsey's `syntactical' construction of modality xxx j=[ ] a=[ ] j-bytes=[38,110,98,115,112,59] | 2021-02-06 | Paper |
| Carnap's Modal Predicate Logic xxxLogical Modalities from Aristotle to Carnap j=[Logical Modalities from Aristotle to Carnap] a=[ ] j-bytes=[76,111,103,105,99,97,108,32,77,111,100,97,108,105,116,105,101,115,32,102,114,111,109,32,65,114,105,115,116,111,116,108,101,32,116,111,32,67,97,114,110,97,112] | 2020-02-20 | Paper |
| Why Propositions Have No Structure xxxNôus j=[Nôus] a=[ ] j-bytes=[78,195,180,117,115] | 2017-07-14 | Paper |
| Hamblin on Time xxxNôus j=[Nôus] a=[ ] j-bytes=[78,195,180,117,115] | 2017-07-14 | Paper |
| CARNAP AND McKINSEY: Topics in the Pre-History of Possible-Worlds Semantics xxxProceedings of the 12th Asian Logic Conference j=[Proceedings of the 12th Asian Logic Conference] a=[ ] j-bytes=[80,114,111,99,101,101,100,105,110,103,115,32,111,102,32,116,104,101,32,49,50,116,104,32,65,115,105,97,110,32,76,111,103,105,99,32,67,111,110,102,101,114,101,110,99,101] | 2017-05-31 | Paper |
| scientific article; zbMATH DE number 6704247 (Why is no real title available?) xxx j=[ ] a=[ ] j-bytes=[38,110,98,115,112,59] | 2017-04-11 | Paper |
| Prior on the semantics of modal and tense logic xxxSynthese j=[Synthese] a=[ ] j-bytes=[83,121,110,116,104,101,115,101] | 2017-03-14 | Paper |
| Worlds and models in Bayart and Carnap xxx j=[ ] a=[ ] j-bytes=[38,110,98,115,112,59] | 2017-03-07 | Paper |
| The completeness of Carnap's predicate logic xxx j=[ ] a=[ ] j-bytes=[38,110,98,115,112,59] | 2016-02-01 | Paper |
| Predicate metric tense logic for `now' and `then' xxxJournal of Philosophical Logic j=[Journal of Philosophical Logic] a=[ ] j-bytes=[74,111,117,114,110,97,108,32,111,102,32,80,104,105,108,111,115,111,112,104,105,99,97,108,32,76,111,103,105,99] | 2013-04-11 | Paper |
| Axiomatising the Prior future in predicate logic xxxLogica Universalis j=[Logica Universalis] a=[ ] j-bytes=[76,111,103,105,99,97,32,85,110,105,118,101,114,115,97,108,105,115] | 2013-04-08 | Paper |
| scientific article; zbMATH DE number 5778843 (Why is no real title available?) xxx j=[ ] a=[ ] j-bytes=[38,110,98,115,112,59] | 2010-09-02 | Paper |
| Temporal reference in linear tense logic xxxJournal of Philosophical Logic j=[Journal of Philosophical Logic] a=[ ] j-bytes=[74,111,117,114,110,97,108,32,111,102,32,80,104,105,108,111,115,111,112,104,105,99,97,108,32,76,111,103,105,99] | 2010-04-26 | Paper |
| scientific article; zbMATH DE number 5622639 (Why is no real title available?) xxx j=[ ] a=[ ] j-bytes=[38,110,98,115,112,59] | 2009-10-28 | Paper |
| On a misapplication of the world-time parallel xxx j=[ ] a=[ ] j-bytes=[38,110,98,115,112,59] | 2009-10-12 | Paper |
| Does every proposition have a unique contradictory? xxxAnalysis j=[Analysis] a=[ ] j-bytes=[65,110,97,108,121,115,105,115] | 2008-08-21 | Paper |
| The Prior future xxx j=[ ] a=[ ] j-bytes=[38,110,98,115,112,59] | 2008-02-11 | Paper |
| From modal discourse to possible worlds xxxStudia Logica j=[Studia Logica] a=[ ] j-bytes=[83,116,117,100,105,97,32,76,111,103,105,99,97] | 2006-08-18 | Paper |
| Arabic numerals in propositional attitude sentences xxx j=[ ] a=[ ] j-bytes=[38,110,98,115,112,59] | 2006-06-26 | Paper |
| Even modal realists should do the best they can xxx j=[ ] a=[ ] j-bytes=[38,110,98,115,112,59] | 2006-01-24 | Paper |
| scientific article; zbMATH DE number 2121570 (Why is no real title available?) xxx j=[ ] a=[ ] j-bytes=[38,110,98,115,112,59] | 2004-12-09 | Paper |
| scientific article; zbMATH DE number 1749192 (Why is no real title available?) xxx j=[ ] a=[ ] j-bytes=[38,110,98,115,112,59] | 2002-11-26 | Paper |
| scientific article; zbMATH DE number 1735876 (Why is no real title available?) xxx j=[ ] a=[ ] j-bytes=[38,110,98,115,112,59] | 2002-11-04 | Paper |
| A note on de re modalities xxxLogique et Analyse. Nouvelle Série j=[Logique et Analyse. Nouvelle Série] a=[ ] j-bytes=[76,111,103,105,113,117,101,32,101,116,32,65,110,97,108,121,115,101,46,32,78,111,117,118,101,108,108,101,32,83,195,169,114,105,101] | 2001-09-04 | Paper |
| Some incompletable modal predicate logics xxxLogique et Analyse. Nouvelle Série j=[Logique et Analyse. Nouvelle Série] a=[ ] j-bytes=[76,111,103,105,113,117,101,32,101,116,32,65,110,97,108,121,115,101,46,32,78,111,117,118,101,108,108,101,32,83,195,169,114,105,101] | 2001-09-04 | Paper |
| scientific article; zbMATH DE number 1140574 (Why is no real title available?) xxx j=[ ] a=[ ] j-bytes=[38,110,98,115,112,59] | 1998-04-13 | Paper |
| scientific article; zbMATH DE number 1028812 (Why is no real title available?) xxx j=[ ] a=[ ] j-bytes=[38,110,98,115,112,59] | 1997-07-08 | Paper |
| Incompleteness and the Barcan formula xxxJournal of Philosophical Logic j=[Journal of Philosophical Logic] a=[ ] j-bytes=[74,111,117,114,110,97,108,32,111,102,32,80,104,105,108,111,115,111,112,104,105,99,97,108,32,76,111,103,105,99] | 1996-08-15 | Paper |
| scientific article; zbMATH DE number 698631 (Why is no real title available?) xxx j=[ ] a=[ ] j-bytes=[38,110,98,115,112,59] | 1995-10-31 | Paper |
| scientific article; zbMATH DE number 755666 (Why is no real title available?) xxx j=[ ] a=[ ] j-bytes=[38,110,98,115,112,59] | 1995-05-15 | Paper |
| scientific article; zbMATH DE number 733405 (Why is no real title available?) xxx j=[ ] a=[ ] j-bytes=[38,110,98,115,112,59] | 1994-01-01 | Paper |
| Semantical essays. Possible worlds and their rivals xxxStudies in Linguistics and Philosophy j=[Studies in Linguistics and Philosophy] a=[ ] j-bytes=[83,116,117,100,105,101,115,32,105,110,32,76,105,110,103,117,105,115,116,105,99,115,32,97,110,100,32,80,104,105,108,111,115,111,112,104,121] | 1992-09-17 | Paper |
| Modality and Mellor's McTaggart xxxStudia Logica j=[Studia Logica] a=[ ] j-bytes=[83,116,117,100,105,97,32,76,111,103,105,99,97] | 1990-01-01 | Paper |
| Necessity and contingency xxxStudia Logica j=[Studia Logica] a=[ ] j-bytes=[83,116,117,100,105,97,32,76,111,103,105,99,97] | 1988-01-01 | Paper |
| scientific article; zbMATH DE number 4132134 (Why is no real title available?) xxx j=[ ] a=[ ] j-bytes=[38,110,98,115,112,59] | 1988-01-01 | Paper |
| Magari's theorem via the recession frame xxxJournal of Philosophical Logic j=[Journal of Philosophical Logic] a=[ ] j-bytes=[74,111,117,114,110,97,108,32,111,102,32,80,104,105,108,111,115,111,112,104,105,99,97,108,32,76,111,103,105,99] | 1987-01-01 | Paper |
| A more generally useful measure of the weight of examination components xxxBritish Journal of Mathematical and Statistical Psychology j=[British Journal of Mathematical and Statistical Psychology] a=[ ] j-bytes=[66,114,105,116,105,115,104,32,74,111,117,114,110,97,108,32,111,102,32,77,97,116,104,101,109,97,116,105,99,97,108,32,97,110,100,32,83,116,97,116,105,115,116,105,99,97,108,32,80,115,121,99,104,111,108,111,103,121] | 1987-01-01 | Paper |
| scientific article; zbMATH DE number 4033697 (Why is no real title available?) xxx j=[ ] a=[ ] j-bytes=[38,110,98,115,112,59] | 1986-01-01 | Paper |
| Why objects exist but events occur xxxStudia Logica j=[Studia Logica] a=[ ] j-bytes=[83,116,117,100,105,97,32,76,111,103,105,99,97] | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 4014676 (Why is no real title available?) xxx j=[ ] a=[ ] j-bytes=[38,110,98,115,112,59] | 1986-01-01 | Paper |
| The decidable normal modal logics are not recursively enumerable xxxJournal of Philosophical Logic j=[Journal of Philosophical Logic] a=[ ] j-bytes=[74,111,117,114,110,97,108,32,111,102,32,80,104,105,108,111,115,111,112,104,105,99,97,108,32,76,111,103,105,99] | 1985-01-01 | Paper |
| scientific article; zbMATH DE number 4014675 (Why is no real title available?) xxx j=[ ] a=[ ] j-bytes=[38,110,98,115,112,59] | 1984-01-01 | Paper |
| An incomplete decidable modal logic xxxJournal of Symbolic Logic j=[Journal of Symbolic Logic] a=[ ] j-bytes=[74,111,117,114,110,97,108,32,111,102,32,83,121,109,98,111,108,105,99,32,76,111,103,105,99] | 1984-01-01 | Paper |
| KM and the finite model property xxxNotre Dame Journal of Formal Logic j=[Notre Dame Journal of Formal Logic] a=[ ] j-bytes=[78,111,116,114,101,32,68,97,109,101,32,74,111,117,114,110,97,108,32,111,102,32,70,111,114,109,97,108,32,76,111,103,105,99] | 1983-01-01 | Paper |
| scientific article; zbMATH DE number 3845547 (Why is no real title available?) xxx j=[ ] a=[ ] j-bytes=[38,110,98,115,112,59] | 1983-01-01 | Paper |
| Urn models: A classical exposition xxxStudia Logica j=[Studia Logica] a=[ ] j-bytes=[83,116,117,100,105,97,32,76,111,103,105,99,97] | 1982-01-01 | Paper |
| scientific article; zbMATH DE number 3831896 (Why is no real title available?) xxx j=[ ] a=[ ] j-bytes=[38,110,98,115,112,59] | 1982-01-01 | Paper |
| scientific article; zbMATH DE number 3777454 (Why is no real title available?) xxx j=[ ] a=[ ] j-bytes=[38,110,98,115,112,59] | 1982-01-01 | Paper |
| Quotational theories of propositional attitudes xxxJournal of Philosophical Logic j=[Journal of Philosophical Logic] a=[ ] j-bytes=[74,111,117,114,110,97,108,32,111,102,32,80,104,105,108,111,115,111,112,104,105,99,97,108,32,76,111,103,105,99] | 1980-01-01 | Paper |
| scientific article; zbMATH DE number 3657768 (Why is no real title available?) xxx j=[ ] a=[ ] j-bytes=[38,110,98,115,112,59] | 1979-01-01 | Paper |
| scientific article; zbMATH DE number 3634209 (Why is no real title available?) xxx j=[ ] a=[ ] j-bytes=[38,110,98,115,112,59] | 1979-01-01 | Paper |
| scientific article; zbMATH DE number 3609640 (Why is no real title available?) xxx j=[ ] a=[ ] j-bytes=[38,110,98,115,112,59] | 1978-01-01 | Paper |
| Hyperintensional logic xxxStudia Logica j=[Studia Logica] a=[ ] j-bytes=[83,116,117,100,105,97,32,76,111,103,105,99,97] | 1975-01-01 | Paper |
| Omnitemporal logic and converging time xxxTheoria j=[Theoria] a=[ ] j-bytes=[84,104,101,111,114,105,97] | 1975-01-01 | Paper |
| scientific article; zbMATH DE number 3492652 (Why is no real title available?) xxx j=[ ] a=[ ] j-bytes=[38,110,98,115,112,59] | 1975-01-01 | Paper |
| Note on the use of sequences in 'Logics and languages' xxxNotre Dame Journal of Formal Logic j=[Notre Dame Journal of Formal Logic] a=[ ] j-bytes=[78,111,116,114,101,32,68,97,109,101,32,74,111,117,114,110,97,108,32,111,102,32,70,111,114,109,97,108,32,76,111,103,105,99] | 1975-01-01 | Paper |
| scientific article; zbMATH DE number 3487415 (Why is no real title available?) xxx j=[ ] a=[ ] j-bytes=[38,110,98,115,112,59] | 1975-01-01 | Paper |
| Adverbs and events xxxSynthese j=[Synthese] a=[ ] j-bytes=[83,121,110,116,104,101,115,101] | 1974-01-01 | Paper |
| scientific article; zbMATH DE number 3450164 (Why is no real title available?) xxx j=[ ] a=[ ] j-bytes=[38,110,98,115,112,59] | 1973-01-01 | Paper |
| Intensional logics and logical truth xxxJournal of Philosophical Logic j=[Journal of Philosophical Logic] a=[ ] j-bytes=[74,111,117,114,110,97,108,32,111,102,32,80,104,105,108,111,115,111,112,104,105,99,97,108,32,76,111,103,105,99] | 1972-01-01 | Paper |
| Second‐Order Intensional Logic xxxMathematical Logic Quarterly j=[Mathematical Logic Quarterly] a=[ ] j-bytes=[77,97,116,104,101,109,97,116,105,99,97,108,32,76,111,103,105,99,32,81,117,97,114,116,101,114,108,121] | 1972-01-01 | Paper |
| The completeness of S1 and some related systems xxxNotre Dame Journal of Formal Logic j=[Notre Dame Journal of Formal Logic] a=[ ] j-bytes=[78,111,116,114,101,32,68,97,109,101,32,74,111,117,114,110,97,108,32,111,102,32,70,111,114,109,97,108,32,76,111,103,105,99] | 1972-01-01 | Paper |
| scientific article; zbMATH DE number 3420710 (Why is no real title available?) xxx j=[ ] a=[ ] j-bytes=[38,110,98,115,112,59] | 1972-01-01 | Paper |
| scientific article; zbMATH DE number 3378894 (Why is no real title available?) xxx j=[ ] a=[ ] j-bytes=[38,110,98,115,112,59] | 1971-01-01 | Paper |
| scientific article; zbMATH DE number 3341119 (Why is no real title available?) xxx j=[ ] a=[ ] j-bytes=[38,110,98,115,112,59] | 1970-01-01 | Paper |
| Classical intensional logics xxxTheoria j=[Theoria] a=[ ] j-bytes=[84,104,101,111,114,105,97] | 1970-01-01 | Paper |
| A conjunctive normal form for S3.5 xxxJournal of Symbolic Logic j=[Journal of Symbolic Logic] a=[ ] j-bytes=[74,111,117,114,110,97,108,32,111,102,32,83,121,109,98,111,108,105,99,32,76,111,103,105,99] | 1969-01-01 | Paper |
| The elimination of De Re modalities xxxJournal of Symbolic Logic j=[Journal of Symbolic Logic] a=[ ] j-bytes=[74,111,117,114,110,97,108,32,111,102,32,83,121,109,98,111,108,105,99,32,76,111,103,105,99] | 1969-01-01 | Paper |
| scientific article; zbMATH DE number 3325547 (Why is no real title available?) xxx j=[ ] a=[ ] j-bytes=[38,110,98,115,112,59] | 1968-01-01 | Paper |
| Some proofs of relative completeness in modal logic xxxNotre Dame Journal of Formal Logic j=[Notre Dame Journal of Formal Logic] a=[ ] j-bytes=[78,111,116,114,101,32,68,97,109,101,32,74,111,117,114,110,97,108,32,111,102,32,70,111,114,109,97,108,32,76,111,103,105,99] | 1968-01-01 | Paper |
| Completeness without the Barcan formula xxxNotre Dame Journal of Formal Logic j=[Notre Dame Journal of Formal Logic] a=[ ] j-bytes=[78,111,116,114,101,32,68,97,109,101,32,74,111,117,114,110,97,108,32,111,102,32,70,111,114,109,97,108,32,76,111,103,105,99] | 1968-01-01 | Paper |
| The Representation of Intensional Logics xxxMathematical Logic Quarterly j=[Mathematical Logic Quarterly] a=[ ] j-bytes=[77,97,116,104,101,109,97,116,105,99,97,108,32,76,111,103,105,99,32,81,117,97,114,116,101,114,108,121] | 1968-01-01 | Paper |
| Note on a system of Åqvist xxxJournal of Symbolic Logic j=[Journal of Symbolic Logic] a=[ ] j-bytes=[74,111,117,114,110,97,108,32,111,102,32,83,121,109,98,111,108,105,99,32,76,111,103,105,99] | 1967-01-01 | Paper |
| A Henkin completeness theorem for T xxxNotre Dame Journal of Formal Logic j=[Notre Dame Journal of Formal Logic] a=[ ] j-bytes=[78,111,116,114,101,32,68,97,109,101,32,74,111,117,114,110,97,108,32,111,102,32,70,111,114,109,97,108,32,76,111,103,105,99] | 1967-01-01 | Paper |
| scientific article; zbMATH DE number 3266580 (Why is no real title available?) xxx j=[ ] a=[ ] j-bytes=[38,110,98,115,112,59] | 1967-01-01 | Paper |
| Alternative completeness theorems for modal systems xxxNotre Dame Journal of Formal Logic j=[Notre Dame Journal of Formal Logic] a=[ ] j-bytes=[78,111,116,114,101,32,68,97,109,101,32,74,111,117,114,110,97,108,32,111,102,32,70,111,114,109,97,108,32,76,111,103,105,99] | 1967-01-01 | Paper |
| scientific article; zbMATH DE number 3265735 (Why is no real title available?) xxx j=[ ] a=[ ] j-bytes=[38,110,98,115,112,59] | 1967-01-01 | Paper |
| scientific article; zbMATH DE number 3248009 (Why is no real title available?) xxx j=[ ] a=[ ] j-bytes=[38,110,98,115,112,59] | 1966-01-01 | Paper |
| Functions of Propositions xxxJournal of Symbolic Logic j=[Journal of Symbolic Logic] a=[ ] j-bytes=[74,111,117,114,110,97,108,32,111,102,32,83,121,109,98,111,108,105,99,32,76,111,103,105,99] | 1966-01-01 | Paper |
| scientific article; zbMATH DE number 3211085 (Why is no real title available?) xxx j=[ ] a=[ ] j-bytes=[38,110,98,115,112,59] | 1965-01-01 | Paper |
| On the logic of incomplete answers xxxJournal of Symbolic Logic j=[Journal of Symbolic Logic] a=[ ] j-bytes=[74,111,117,114,110,97,108,32,111,102,32,83,121,109,98,111,108,105,99,32,76,111,103,105,99] | 1965-01-01 | Paper |
| scientific article; zbMATH DE number 3237818 (Why is no real title available?) xxx j=[ ] a=[ ] j-bytes=[38,110,98,115,112,59] | 1965-01-01 | Paper |
Research outcomes over time
This page was built for person: M. J. Cresswell
