G. E. Hughes and M. J. Cresswell. A companion to modal logic. Methuen, London 1984 and New York 1985, xvii + 203 pp.

1986 ◽  
Vol 51 (3) ◽  
pp. 824-826
Author(s):  
Johan van Benthem
Keyword(s):  
New York ◽  
Modal Logic

Georg Henrik von Wright. Form and content in logic. A revised reprint of XV 58(2), 199(2), 280(2). Logical studies. International library of psychology, philosophy and scientific method. The Humanities Press, Inc., New York, and Routledge & Kegan Paul Ltd., London, 1957, pp. 1–21. - Georg Henrik von Wright. On the idea of logical truth (I). A revised reprint of XV 58(1), 199(1), 280(1). Logical studies. International library of psychology, philosophy and scientific method. The Humanities Press, Inc., New York, and Routledge & Kegan Paul Ltd., London, 1957, pp. 22–43. - Georg Henrik von Wright. On double quantification. A revised reprint of XVII 201. Logical studies. International library of psychology, philosophy and scientific method. The Humanities Press, Inc., New York, and Routledge & Kegan Paul Ltd., London, 1957, pp. 44–57. - Georg Henrik von Wright. Deontic logic. A revised reprint of XVII 140. Logical studies. International library of psychology, philosophy and scientific method. The Humanities Press, Inc., New York, and Routledge & Kegan Paul Ltd., London, 1957, pp. 58–74. - Georg Henrik von Wright. Interpretations of modal logic. A revised reprint of XVIII 176. Logical studies. International library of psychology, philosophy and scientific method. The Humanities Press, Inc., New York, and Routledge & Kegan Paul Ltd., London, 1957, pp. 75–88. - Georg Henrik von Wright. A new system of modal logic. A revised version of XIX 66. Logical studies. International library of psychology, philosophy and scientific method. The Humanities Press, Inc., New York, and Routledge & Kegan Paul Ltd., London, 1957, pp. 89–126. - Georg Henrik von Wright. On conditionals. Logical studies. International library of psychology, philosophy and scientific method. The Humanities Press, Inc., New York, and Routledge & Kegan Paul Ltd., London, 1957, pp. 127–165. - Georg Henrik von Wright. The concept of entailment. Logical studies. International library of psychology, philosophy and scientific method. The Humanities Press, Inc., New York, and Routledge & Kegan Paul Ltd., London, 1957, pp. 166–191.

1970 ◽  
Vol 35 (3) ◽  
pp. 460-462
Author(s):  
Timothy Smiley
Keyword(s):  
New York ◽  
Modal Logic ◽  
Scientific Method ◽  
Deontic Logic ◽  
Logical Truth ◽  
Double Quantification ◽  
New System

Peter Aczel. Quantifiers, games and inductive definitions. Proceedings of the Third Scandinavian Logic Symposium, edited by Stig Kanger, Studies in logic and the foundations of mathematics, vol. 82, North-Holland Publishing Company, Amsterdam and Oxford, and American Elsevier Publishing Company, Inc., New York, 1975, pp. 1–14. - Kit Fine. Some connections between elementary and modal logic. Proceedings of the Third Scandinavian Logic Symposium, edited by Stig Kanger, Studies in logic and the foundations of mathematics, vol. 82, North-Holland Publishing Company, Amsterdam and Oxford, and American Elsevier Publishing Company, Inc., New York, 1975, pp. 15–31. - Bengt Hansson and Peter Gärdenfors. Filtations and the finite frame property in Boolean semantics. Proceedings of the Third Scandinavian Logic Symposium, edited by Stig Kanger, Studies in logic and the foundations of mathematics, vol. 82, North-Holland Publishing Company, Amsterdam and Oxford, and American Elsevier Publishing Company, Inc., New York, 1975, pp. 32–39. - Jaakko Hintikka and Veikko Rantala. Systematizing definability theory. Proceedings of the Third Scandinavian Logic Symposium, edited by Stig Kanger, Studies in logic and the foundations of mathematics, vol. 82, North-Holland Publishing Company, Amsterdam and Oxford, and American Elsevier Publishing Company, Inc., New York, 1975, pp. 40–62. - Herman Ruge Jervell. Conservative endextensions and the quantifier ‘there exist uncountably many.’Proceedings of the Third Scandinavian Logic Symposium, edited by Stig Kanger, Studies in logic and the foundations of mathematics, vol. 82, North-Holland Publishing Company, Amsterdam and Oxford, and American Elsevier Publishing Company, Inc., New York, 1975, pp. 63–80. - Per Martin-Löf. About models for intuitionistic type theories and the notion of definitional equality. Proceedings of the Third Scandinavian Logic Symposium, edited by Stig Kanger, Studies in logic and the foundations of mathematics, vol. 82, North-Holland Publishing Company, Amsterdam and Oxford, and American Elsevier Publishing Company, Inc., New York, 1975, pp. 81–109. - Henrik Sahlqvist. Completeness and correspondence in the first and second order semantics for modal logic. Proceedings of the Third Scandinavian Logic Symposium, edited by Stig Kanger, Studies in logic and the foundations of mathematics, vol. 82, North-Holland Publishing Company, Amsterdam and Oxford, and American Elsevier Publishing Company, Inc., New York, 1975, pp. 110–143. - Arto Salomaa. On some decidability problems concerning developmental languages. Proceedings of the Third Scandinavian Logic Symposium, edited by Stig Kanger, Studies in logic and the foundations of mathematics, vol. 82, North-Holland Publishing Company, Amsterdam and Oxford, and American Elsevier Publishing Company, Inc., New York, 1975, pp. 144–153.

1978 ◽  
Vol 43 (2) ◽  
pp. 373-376 ◽  
Author(s):  
S. K. Thomason
Keyword(s):  
New York ◽  
Modal Logic ◽  
Publishing Company ◽  
Foundations Of Mathematics ◽  
Kit Fine ◽  
North Holland Publishing Company ◽  
The Third ◽  
Inductive Definitions ◽  
Finite Frame ◽  
North Holland Publishing

A. H. Lachlan. A note on Thomason's refined structures for tense logics. Theoria, vol. 40(1974), pp. 117–120. - Kit Fine. Some connections between elementary and modal logic. Proceedings of the Third Scandinavian Logic Symposium, edited by Stig Ranger, Studies in logic and the foundations of mathematics, vol. 82, North-Holland Publishing Company, Amsterdam and Oxford, and American Elsevier Publishing Company, Inc., New York, 1975, pp. 1–14. - R. I. Goldblatt and S. K. Thomason. Axiomatic classes in propositional modal logic. Algebra and logic, Papers from the 1974 Summer Research Institute of the Australian Mathematical Society, Monash University, Australia, edited by J. N. Crossley, Lecture notes in mathematics, vol. 450, Springer-Verlag, Berlin, Heidelberg, and New York, 1975, pp. 163–173. - R. I. Goldblatt. First-order definability in modal logic. The journal of symbolic logic, vol. 40 (1975), pp. 35–40. - J. F. A. K. van Benthem. A note on modal formulae and relational properties. The journal of symbolic logic, vol. 40 (1975), pp. 55–58. - S. K. Thomason. Categories of frames for modal logic. The journal of symbolic logic, vol. 40 (1975), pp. 439–442. - R. I. Goldblatt. Metamathematics of modal logic. Part I. Reports on mathematical logic, vol. 6 (1976), pp. 41–77. - R. I. Goldblatt. Metamathematics of modal logic. Part II. Reports on mathematical logic, vol. 7 (1976), pp. 21–52. - J. F. A. K. van Benthem. Modal formulas are either elementary or not Σ⊿-elementary. The journal of symbolic logic, vol. 41 (1976), pp. 436–438. - J. F. A. K. van Benthem. Canonical modal logics and ultrafilter extensions. The journal of symbolic logic, vol. 44 (1979), pp. 1–8.

1982 ◽  
Vol 47 (2) ◽  
pp. 440-445 ◽  
Author(s):  
Robert A. Bull
Keyword(s):  
New York ◽  
Mathematical Logic ◽  
Modal Logic ◽  
Publishing Company ◽  
Symbolic Logic ◽  
First Order ◽  
Propositional Modal Logic ◽  
Relational Properties ◽  
North Holland Publishing ◽  
First Order Definability
Sign in / Sign up

Export Citation Format

Share Document