More Books:

First-Order Modal Logic
Language: en
Pages: 292
Authors: M. Fitting, Richard L. Mendelsohn
Categories: Philosophy
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media

This is a thorough treatment of first-order modal logic. The book covers such issues as quantification, equality (including a treatment of Frege's morning star/evening star puzzle), the notion of existence, non-rigid constants and function symbols, predicate abstraction, the distinction between nonexistence and nondesignation, and definite descriptions, borrowing from both Fregean
Modal Logic
Language: en
Pages: 288
Authors: Nino B. Cocchiarella, Max A. Freund
Categories: Mathematics
Type: BOOK - Published: 2008-08-04 - Publisher: Oxford University Press

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
Handbook of Modal Logic
Language: en
Pages: 1260
Authors: Patrick Blackburn, Johan F.A.K. van Benthem, Frank Wolter
Categories: Mathematics
Type: BOOK - Published: 2006-11-03 - Publisher: Elsevier

The Handbook of Modal Logic contains 20 articles, which collectively introduce contemporary modal logic, survey current research, and indicate the way in which the field is developing. The articles survey the field from a wide variety of perspectives: the underling theory is explored in depth, modern computational approaches are treated,
Modal Logic as Metaphysics
Language: en
Pages: 464
Authors: Timothy Williamson
Categories: Philosophy
Type: BOOK - Published: 2013-03-28 - Publisher: Oxford University Press

Are there such things as merely possible people, who would have lived if our ancestors had acted differently? Are there future people, who have not yet been conceived? Questions like those raise deep issues about both the nature of being and its logical relations with contingency and change. In Modal
Many-Dimensional Modal Logics: Theory and Applications
Language: en
Pages: 766
Authors: A. Kurucz, F. Wolter, M. Zakharyaschev, Dov M. Gabbay
Categories: Computers
Type: BOOK - Published: 2003-10-21 - Publisher: Elsevier

Modal logics, originally conceived in philosophy, have recently found many applications in computer science, artificial intelligence, the foundations of mathematics, linguistics and other disciplines. Celebrated for their good computational behaviour, modal logics are used as effective formalisms for talking about time, space, knowledge, beliefs, actions, obligations, provability, etc. However, the