Jump to ContentJump to Main Navigation
Modal Logic – An Introduction to its Syntax and Semantics - Oxford Scholarship Online
Users without a subscription are not able to see the full content.

Modal Logic: An Introduction to its Syntax and Semantics

Nino B. Cocchiarella and Max A. Freund


In this text, a variety of modal logics at the sentential, first-order, and second-order levels are developed with clarity, precision, and philosophical insight. All of the S1-S5 modal logics of Lewis and Langford, among others, are constructed. A matrix, or many-valued semantics, for sentential modal logic is formalized, and an important result that no finite matrix can characterize any of the standard modal logics is proven. Exercises, some of which show independence results, help to develop logical skills. A separate sentential modal logic of logical necessity in logical atomism is also con ... More

Keywords: modal logics, Lewis, Langford, sentential modal logic, first-order modal logic, possibilism, actualism, quantifier logic, second-order modal logic, logical necessity

Bibliographic Information

Print publication date: 2008 Print ISBN-13: 9780195366587
Published to Oxford Scholarship Online: October 2011 DOI:10.1093/acprof:oso/9780195366587.001.0001


Affiliations are at time of print publication.

Nino B. Cocchiarella, author
Indiana University

Max A. Freund, author
Escuela de Filosophia, Universidad Nacional de Costa Rica