×

zbMATH — the first resource for mathematics

Cresswell, Maxwell John

Compute Distance To:
Author ID: cresswell.maxwell-j Recent zbMATH articles by "Cresswell, Maxwell John"
Published as: Cresswell, M. J.; Cresswell, Max; Cresswell, Max J.; Cresswell, Maxwell J.
Homepage: http://www.victoria.ac.nz/hppi/about/staff/max-cresswell
External Links: MGP
Documents Indexed: 85 Publications since 1965, including 7 Books
Reviewing Activity: 26 Reviews

Publications by Year

Citations contained in zbMATH Open

46 Publications have been cited 686 times in 584 Documents Cited by Year
An introduction to modal logic. Zbl 0205.00503
Hughes, G. D.; Cresswell, M. J.
219
1968
A new introduction to modal logic. Zbl 0855.03002
Hughes, G. E.; Cresswell, M. J.
179
1996
A companion to modal logic. Zbl 0625.03005
Hughes, G. E.; Cresswell, M. J.
113
1984
Modal logic. Zbl 0998.03015
Cresswell, M. J.
25
2001
Physical theories and possible worlds. Zbl 0287.02009
Cresswell, M. J.
22
1973
Hyperintensional logic. Zbl 0307.02017
Cresswell, M. J.
18
1975
Necessity and contingency. Zbl 0666.03015
Cresswell, M. J.
13
1988
Intensional logics and logical truth. Zbl 0239.02012
Cresswell, M. J.
12
1972
Classical intensional logics. Zbl 0217.30104
Cresswell, M. J.
10
1970
Modality and Mellor’s McTaggart. Zbl 0722.03002
Cresswell, M. J.
6
1990
A Henkin completeness theorem for T. Zbl 0183.00802
Cresswell, M. J.
6
1967
An incomplete decidable modal logic. Zbl 0591.03006
Cresswell, M. J.
5
1984
Magari’s theorem via the recession frame. Zbl 0621.03009
Cresswell, M. J.
4
1987
In defence of the Barcan formula. Zbl 0823.03007
Cresswell, M. J.
3
1991
The completeness of S1 and some related systems. Zbl 0206.00701
Cresswell, M. J.
3
1972
Propositional identity. Zbl 0166.25104
Cresswell, M. J.
3
1967
Functions of propositions. Zbl 0158.24502
Cresswell, M. J.
3
1966
Another basis for S4. Zbl 0147.24902
Cresswell, M. J.
3
1965
The modal predicate logic of real time. Zbl 1206.03021
Cresswell, M. J.
2
2010
Temporal reference in linear tense logic. Zbl 1202.03032
Cresswell, M. J.
2
2010
Why propositions have no structure. Zbl 1366.03042
Cresswell, M. J.
2
2002
Some incompletable modal predicate logics. Zbl 0978.03016
Cresswell, M. J.
2
1997
Incompleteness and the Barcan formula. Zbl 0843.03006
Cresswell, M. J.
2
1995
Semantical essays. Possible worlds and their rivals. Zbl 0721.03002
Cresswell, M. J.
2
1988
Second-order intensional logic. Zbl 0246.02018
Cresswell, M. J.
2
1972
Note on the interpretation of S0.5. Zbl 0215.04603
Cresswell, M. J.
2
1970
The elimination of de re modalities. Zbl 0184.00901
Cresswell, M. J.
2
1969
The completeness of SO.5. Zbl 0154.25602
Cresswell, M. J.
2
1966
On the logic of incomplete answers. Zbl 0146.00902
Cresswell, M. J.
2
1965
Worlds and models in Bayart and Carnap. Zbl 1422.03031
Cresswell, Max J.
1
2016
Predicate metric tense logic for ‘now’ and ‘then’. Zbl 1279.03038
Cresswell, M. J.
1
2013
Non-denumerable infinitary modal logic. Zbl 1219.03018
Cresswell, M. J.
1
2009
Does every proposition have a unique contradictory? Zbl 1149.03005
Cresswell, M. J.
1
2008
The Prior future. Zbl 1129.03002
Cresswell, M. J.
1
2007
From modal discourse to possible worlds. Zbl 1103.03006
Cresswell, Maxwell J.
1
2006
How to complete some modal predicate logics. Zbl 0996.03011
Cresswell, Max J.
1
2001
A note on de re modalities. Zbl 0979.03017
Cresswell, M. J.
1
1997
A companion to modal logic – some corrections. Zbl 0625.03006
Hughes, G. E.; Cresswell, M. J.
1
1986
The completeness of KW and K1.1. Zbl 0533.03003
Cresswell, M. J.
1
1983
Urn models: A classical exposition. Zbl 0536.03012
Cresswell, M. J.
1
1982
K1.1 is not canonical. Zbl 0525.03003
Hughes, G. E.; Cresswell, M. J.
1
1982
Omnitemporal logic and converging time. Zbl 0322.02020
Hughes, G. E.; Cresswell, M. J.
1
1975
Frames and models in modal logic. Zbl 0315.02029
Cresswell, M. J.
1
1975
A conjunctive normal form for S3.5. Zbl 0184.28005
Cresswell, M. J.
1
1969
Some proofs of relative completeness in modal logic. Zbl 0182.31801
Cresswell, M. J.
1
1968
The logic of interrogatives. Zbl 0129.25804
Cresswell, M. J.
1
1965
Worlds and models in Bayart and Carnap. Zbl 1422.03031
Cresswell, Max J.
1
2016
Predicate metric tense logic for ‘now’ and ‘then’. Zbl 1279.03038
Cresswell, M. J.
1
2013
The modal predicate logic of real time. Zbl 1206.03021
Cresswell, M. J.
2
2010
Temporal reference in linear tense logic. Zbl 1202.03032
Cresswell, M. J.
2
2010
Non-denumerable infinitary modal logic. Zbl 1219.03018
Cresswell, M. J.
1
2009
Does every proposition have a unique contradictory? Zbl 1149.03005
Cresswell, M. J.
1
2008
The Prior future. Zbl 1129.03002
Cresswell, M. J.
1
2007
From modal discourse to possible worlds. Zbl 1103.03006
Cresswell, Maxwell J.
1
2006
Why propositions have no structure. Zbl 1366.03042
Cresswell, M. J.
2
2002
Modal logic. Zbl 0998.03015
Cresswell, M. J.
25
2001
How to complete some modal predicate logics. Zbl 0996.03011
Cresswell, Max J.
1
2001
Some incompletable modal predicate logics. Zbl 0978.03016
Cresswell, M. J.
2
1997
A note on de re modalities. Zbl 0979.03017
Cresswell, M. J.
1
1997
A new introduction to modal logic. Zbl 0855.03002
Hughes, G. E.; Cresswell, M. J.
179
1996
Incompleteness and the Barcan formula. Zbl 0843.03006
Cresswell, M. J.
2
1995
In defence of the Barcan formula. Zbl 0823.03007
Cresswell, M. J.
3
1991
Modality and Mellor’s McTaggart. Zbl 0722.03002
Cresswell, M. J.
6
1990
Necessity and contingency. Zbl 0666.03015
Cresswell, M. J.
13
1988
Semantical essays. Possible worlds and their rivals. Zbl 0721.03002
Cresswell, M. J.
2
1988
Magari’s theorem via the recession frame. Zbl 0621.03009
Cresswell, M. J.
4
1987
A companion to modal logic – some corrections. Zbl 0625.03006
Hughes, G. E.; Cresswell, M. J.
1
1986
A companion to modal logic. Zbl 0625.03005
Hughes, G. E.; Cresswell, M. J.
113
1984
An incomplete decidable modal logic. Zbl 0591.03006
Cresswell, M. J.
5
1984
The completeness of KW and K1.1. Zbl 0533.03003
Cresswell, M. J.
1
1983
Urn models: A classical exposition. Zbl 0536.03012
Cresswell, M. J.
1
1982
K1.1 is not canonical. Zbl 0525.03003
Hughes, G. E.; Cresswell, M. J.
1
1982
Hyperintensional logic. Zbl 0307.02017
Cresswell, M. J.
18
1975
Omnitemporal logic and converging time. Zbl 0322.02020
Hughes, G. E.; Cresswell, M. J.
1
1975
Frames and models in modal logic. Zbl 0315.02029
Cresswell, M. J.
1
1975
Physical theories and possible worlds. Zbl 0287.02009
Cresswell, M. J.
22
1973
Intensional logics and logical truth. Zbl 0239.02012
Cresswell, M. J.
12
1972
The completeness of S1 and some related systems. Zbl 0206.00701
Cresswell, M. J.
3
1972
Second-order intensional logic. Zbl 0246.02018
Cresswell, M. J.
2
1972
Classical intensional logics. Zbl 0217.30104
Cresswell, M. J.
10
1970
Note on the interpretation of S0.5. Zbl 0215.04603
Cresswell, M. J.
2
1970
The elimination of de re modalities. Zbl 0184.00901
Cresswell, M. J.
2
1969
A conjunctive normal form for S3.5. Zbl 0184.28005
Cresswell, M. J.
1
1969
An introduction to modal logic. Zbl 0205.00503
Hughes, G. D.; Cresswell, M. J.
219
1968
Some proofs of relative completeness in modal logic. Zbl 0182.31801
Cresswell, M. J.
1
1968
A Henkin completeness theorem for T. Zbl 0183.00802
Cresswell, M. J.
6
1967
Propositional identity. Zbl 0166.25104
Cresswell, M. J.
3
1967
Functions of propositions. Zbl 0158.24502
Cresswell, M. J.
3
1966
The completeness of SO.5. Zbl 0154.25602
Cresswell, M. J.
2
1966
Another basis for S4. Zbl 0147.24902
Cresswell, M. J.
3
1965
On the logic of incomplete answers. Zbl 0146.00902
Cresswell, M. J.
2
1965
The logic of interrogatives. Zbl 0129.25804
Cresswell, M. J.
1
1965
all top 5

Cited by 605 Authors

14 Cresswell, Maxwell John
11 Halpern, Joseph Yehuda
9 Zadeh, Lotfi Asker
8 Delgrande, James P.
8 Humberstone, Lloyd
7 Demri, Stéphane P.
7 Fariñas del Cerro, Luis
7 Lakemeyer, Gerhard
6 Balbiani, Philippe
6 Ghilardi, Silvio
6 Goldblatt, Robert Ian
6 van der Hoek, Wiebe
5 Banerjee, Mohua
5 Fitting, Melvin Chris
5 Kaminsky, Michael
5 Kremer, Philip
5 Levesque, Hector J.
5 Meyer, John-Jules Charles
5 Ognjanović, Zoran
5 Vakarelov, Dimiter
4 Chakraborty, Mihir Kumar
4 Dubois, Didier
4 Fagin, Ronald
4 Fan, Jie
4 Khan, Md. Aquil
4 Klir, George J.
4 Suzuki, Nobu-Yuki
4 Truszczyński, Mirosław
3 Bacon, Andrew
3 Bezhanishvili, Guram
3 Boutilier, Craig
3 Chellas, Brian F.
3 Cialdea, Marta
3 Došen, Kosta
3 Gabbay, Dov M.
3 Gaines, Brian R.
3 Guelev, Dimitar P.
3 Harmanec, David
3 Heylen, Jan
3 Kaneko, Mamoru
3 Larsen, Kim Guldstrand
3 Lismont, Luc
3 Marek, V. Wiktor
3 Mongin, Philippe
3 Pizzi, Claudio E. A.
3 Resconi, Germano
3 Rönnedal, Daniel
3 Saha, Anirban
3 Sedlár, Igor Igor
3 Sen, Jayanta
3 Sernadas, Amilcar C.
3 Stephanou, Yannis
3 Urquhart, Alasdair
3 Wansing, Heinrich Theodor
3 Wolter, Frank
3 Zakharyaschev, Michael Viktorovich
2 Abadi, Martín
2 Aloni, Maria
2 Areces, Carlos
2 Bacharach, Michael
2 Bacon, John B.
2 Baratella, Stefano
2 Belardinelli, Francesco
2 Bigelow, John C.
2 Billot, Antoine-Bertrand
2 Blackburn, Patrick
2 Blaszczuk, Jerzy J.
2 Bringsjord, Selmer
2 Burghardt, F. J.
2 Cattaneo, Gianpiero
2 Ciucci, Davide
2 Coniglio, Marcelo Esteban
2 Corsi, Giovanna
2 Czermak, Johannes
2 Da Costa, Newton Carneiro Affonso
2 Daniels, Charles B.
2 d’Avila Garcez, Artur S.
2 de Caro, Francesco
2 Doder, Dragan
2 Duzi, Marie
2 Enjalbert, Patrice
2 Enqvist, Sebastian
2 Fattorosi-Barnaba, Maurizio
2 Ferrarotti, Flavio Antonio
2 Finger, Marcelo
2 Freeman, James B.
2 Frias Delgado, Antonio
2 Gabelaia, David
2 Garson, James W.
2 Giordani, Alessandro
2 Goranko, Valentin F.
2 Gregory, Dominic
2 Hamkins, Joel David
2 Hemaspaandra, Edith
2 Hodkinson, Ian Martin
2 Jaspars, Jan O. M.
2 Kohout, Ladislav J.
2 Koutras, Costas D.
2 Kubinski, Tadeusz
2 Lance, Mark Norris
...and 505 more Authors
all top 5

Cited in 74 Serials

75 Journal of Philosophical Logic
57 Studia Logica
43 The Journal of Symbolic Logic
34 Artificial Intelligence
25 Journal of Applied Non-Classical Logics
23 Notre Dame Journal of Formal Logic
23 The Review of Symbolic Logic
21 Theoretical Computer Science
20 Synthese
20 Annals of Pure and Applied Logic
14 Information Sciences
13 Logica Universalis
11 International Journal of Approximate Reasoning
10 Journal of Logic, Language and Information
9 Information Processing Letters
9 Annals of Mathematics and Artificial Intelligence
8 The Bulletin of Symbolic Logic
7 Journal of Automated Reasoning
7 Journal of Applied Logic
6 History and Philosophy of Logic
5 International Journal of General Systems
5 Theory and Decision
5 Mathematical Social Sciences
5 Information and Computation
4 Computers & Mathematics with Applications
4 International Journal of Theoretical Physics
4 Fuzzy Sets and Systems
4 Linguistics and Philosophy
4 Bulletin of the Section of Logic
4 New Generation Computing
4 Games and Economic Behavior
4 Logic and Logical Philosophy
3 International Journal of Intelligent Systems
3 Formal Aspects of Computing
3 Archive for Mathematical Logic
3 Mathematical Logic Quarterly (MLQ)
3 Topoi
3 Erkenntnis
2 Acta Informatica
2 Archiv für Mathematische Logik und Grundlagenforschung
2 Mathematical Proceedings of the Cambridge Philosophical Society
2 Journal of Economic Theory
2 Journal of Mathematical Economics
2 Publications of the Research Institute for Mathematical Sciences, Kyoto University
2 RAIRO, Informatique Théorique
2 Economic Theory
2 ACM Transactions on Computational Logic
2 Foundations of Physics
2 Frontiers of Computer Science
1 Israel Journal of Mathematics
1 Periodica Mathematica Hungarica
1 Algebra Universalis
1 Applied Mathematics and Computation
1 International Statistical Review
1 Journal of Pure and Applied Algebra
1 Journal of Statistical Planning and Inference
1 Kybernetika
1 Rendiconti del Seminario Matematico della Università di Padova
1 Acta Mathematica Hungarica
1 Mathematical and Computer Modelling
1 Real-Time Systems
1 JETAI. Journal of Experimental & Theoretical Artificial Intelligence
1 International Journal of Algebra and Computation
1 Computational Statistics and Data Analysis
1 Formal Methods in System Design
1 Soft Computing
1 Fundamenta Informaticae
1 The Journal of Logic and Algebraic Programming
1 Electronic Commerce Research
1 Journal of Intelligent and Fuzzy Systems
1 Journal of Shanghai Jiaotong University (Science)
1 Electronic Notes in Theoretical Computer Science
1 Science China. Information Sciences
1 Nôus

Citations by Year