George Boolos. The unprovability of consistency. An essay in modal logic. Cambridge University Press, Cambridge etc. 1979, viii + 184 pp.

C. Smoryński

doi:10.2307/2273239

George Boolos. The unprovability of consistency. An essay in modal logic. Cambridge University Press, Cambridge etc. 1979, viii + 184 pp.

Journal of Symbolic Logic ◽

10.2307/2273239 ◽

1981 ◽

Vol 46 (4) ◽

pp. 871-873 ◽

Cited By ~ 2

Author(s):

C. Smoryński

Keyword(s):

Modal Logic ◽

Cambridge University ◽

George Boolos

Modal Logic: An IntroductionBrian F. Chellas New York: Cambridge University Press, 1980. Pp. xii, 295. $42.50 (hardbound), $14.95 (paper)

Dialogue ◽

10.1017/s0012217300021223 ◽

1982 ◽

Vol 21 (3) ◽

pp. 545-549

Author(s):

Steven J. Kuhn

Keyword(s):

New York ◽

Modal Logic ◽

Cambridge University

First steps in modal logic by Sally Popkorn, Cambridge University Press, 1994, pp 314, £25.00, ISBN 0-521-46482-X.

The Knowledge Engineering Review ◽

10.1017/s0269888900008237 ◽

1995 ◽

Vol 10 (2) ◽

pp. 220-221

Author(s):

Paul J. Krause

Keyword(s):

Modal Logic ◽

Cambridge University

George Boolos. The logic of provability. Cambridge University Press, Cambridge, New York, and Melbourne, 1993, xxxvi + 276 pp.

Journal of Symbolic Logic ◽

10.2307/2275893 ◽

1995 ◽

Vol 60 (4) ◽

pp. 1316-1317

Author(s):

Sergei N. Artemov

Keyword(s):

New York ◽

Cambridge University ◽

George Boolos

James W. Garson, Modal Logic for Philosophers. Second Edition, Cambridge University Press, Cambridge, 2013, pp. 506. ISBN: 978-1107609525 (paperback) $44.99.

Studia Logica ◽

10.1007/s11225-016-9666-z ◽

2016 ◽

Vol 104 (2) ◽

pp. 365-379

Author(s):

Lloyd Humberstone

Keyword(s):

Modal Logic ◽

Cambridge University

Arrow logic and multi-modal logic, edited by Maarten Marx, László Pólos, and Michael Masuch, Studies in logic, language and information, CSLI Publications, Stanford, and FoLLI, 1996, also distributed by Cambridge University Press, New York, xiv + 247 pp.

Journal of Symbolic Logic ◽

10.2307/2586609 ◽

1998 ◽

Vol 63 (1) ◽

pp. 333-336

Author(s):

Roger Maddux

Keyword(s):

New York ◽

Modal Logic ◽

Cambridge University ◽

Arrow Logic

Advances in modal logic, Volume 1, edited by Marcus Kracht, Maarten de Rijke, Heinrich Wansing, and Michael Zakharyaschev, CSLI lecture notes, no. 87, Center for the Study of Language and Information, Stanford 1998, also distributed by Cambridge University Press, New York, xvi + 392 pp.

Bulletin of Symbolic Logic ◽

10.2178/bsl/1182353857 ◽

2002 ◽

Vol 8 (1) ◽

pp. 95-97

Author(s):

Edwin D. Mares

Keyword(s):

New York ◽

Modal Logic ◽

Cambridge University ◽

Lecture Notes

Popkorn Sally (pseudonym). First steps in modal logic. Cambridge University Press, Cambridge 1994, and New York and Oakleigh, Victoria, 1995, xiii + 314 pp.

Journal of Symbolic Logic ◽

10.2307/2275803 ◽

1996 ◽

Vol 61 (3) ◽

pp. 1055-1056

Author(s):

Rajeev Goré

Keyword(s):

New York ◽

Modal Logic ◽

Cambridge University

George Boolos and Richard Jeffrey. Computability and logic. Cambridge University Press, New York and London1974, x + 262 pp.

Journal of Symbolic Logic ◽

10.2307/2271883 ◽

1977 ◽

Vol 42 (4) ◽

pp. 585-586

Author(s):

Stephen Leeds

Keyword(s):

New York ◽

Cambridge University ◽

George Boolos

Book Reviews:Patrick Blackburn, Maarten de Rijke and Yde Venema, Modal Logic, Cambridge: Cambridge University Press, 2002, xxii + 554 pp., US$53.00, ISBN 0-52152-714-7 (paperback).

Minds and Machines ◽

10.1007/s11023-004-4930-9 ◽

2005 ◽

Vol 15 (1) ◽

pp. 126-129

Author(s):

Manuel Bremer

Keyword(s):

Modal Logic ◽

Cambridge University

Review of "Modal Logic for Philosophers by James W. Garson," Cambridge University Press, 2006, pp. 471

ACM SIGSOFT Software Engineering Notes ◽

10.1145/1360602.1373361 ◽

2008 ◽

Vol 33 (3) ◽

pp. 1-1

Author(s):

Mordechai Ben-Menachem

Keyword(s):

Modal Logic ◽

Cambridge University