A New Introduction to Modal Logic

New York: Routledge. Edited by M. J. Cresswell (1996)
  Copy   BIBTEX

Abstract

This long-awaited book replaces Hughes and Cresswell's two classic studies of modal logic: _An Introduction to Modal Logic_ and _A Companion to Modal Logic_. _A New Introduction to Modal Logic_ is an entirely new work, completely re-written by the authors. They have incorporated all the new developments that have taken place since 1968 in both modal propositional logic and modal predicate logic, without sacrificing tha clarity of exposition and approachability that were essential features of their earlier works. The book takes readers from the most basic systems of modal propositional logic right up to systems of modal predicate with identity. It covers both technical developments such as completeness and incompleteness, and finite and infinite models, and their philosophical applications, especially in the area of modal predicate logic.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,038

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Predicate Modal Logics Do Not Mix Very Well.Olivier Gasquet - 1998 - Mathematical Logic Quarterly 44 (1):45-49.
A companion to modal logic.G. E. Hughes - 1984 - New York: Methuen. Edited by M. J. Cresswell.
Kripke Completeness of Infinitary Predicate Multimodal Logics.Yoshihito Tanaka - 1999 - Notre Dame Journal of Formal Logic 40 (3):326-340.
Incompleteness and the Barcan formula.M. J. Cresswell - 1995 - Journal of Philosophical Logic 24 (4):379 - 403.
A Short Introduction to Modal Logic.Grigori Mints - 1992 - Stanford, CA, USA: Center for the Study of Language and Information.
Modal Logic.Johan van Benthem - 2015 - Internet Encyclopedia of Philosophy.
Identity in modal logic theorem proving.Francis J. Pelletier - 1993 - Studia Logica 52 (2):291 - 308.
Modal sequents and definability.Bruce M. Kapron - 1987 - Journal of Symbolic Logic 52 (3):756-762.
Modal sequents for normal modal logics.Claudio Cerrato - 1993 - Mathematical Logic Quarterly 39 (1):231-240.
Predicate logics on display.Heinrich Wansing - 1999 - Studia Logica 62 (1):49-75.
Modal logic for philosophers.James W. Garson - 2006 - New York: Cambridge University Press.
O logice modalnej.Stanisław Kiczuk - 2004 - Roczniki Filozoficzne 52 (1):199-212.
Naming worlds in modal and temporal logic.D. M. Gabbay & G. Malod - 2002 - Journal of Logic, Language and Information 11 (1):29-65.

Analytics

Added to PP
2009-01-28

Downloads
223 (#90,541)

6 months
10 (#269,219)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Max Cresswell
Victoria University of Wellington

Citations of this work

Neighborhood Semantics for Modal Logic.Eric Pacuit - 2017 - Cham, Switzerland: Springer.
First-Order Modal Logic.Melvin Fitting & Richard L. Mendelsohn - 1998 - Dordrecht, Netherland: Kluwer Academic Publishers.
Epistemology Formalized.Sarah Moss - 2013 - Philosophical Review 122 (1):1-43.
Reductive theories of modality.Theodore Sider - 2003 - In Michael J. Loux & Dean W. Zimmerman (eds.), The Oxford handbook of metaphysics. New York: Oxford University Press. pp. 180-208.

View all 226 citations / Add more citations

References found in this work

No references found.

Add more references