First-Order Modal Logic

Book First-Order Modal Logic

First-Order Modal Logic Book Details:

Publisher : Springer Science & Business Media

ISBN-13 : 9401152926

Page : 292 pages

Rating : 4.5/5 from 926 voters




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 and Russellian paradigms.

More Books:

First-Order Modal Logic
Language: en
Pages: 292
Authors: M. Fitting
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/
Modal Logic
Language: en
Pages: 288
Authors: Nino B. Cocchiarella
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.
Handbook of Modal Logic
Language: en
Pages: 1260
Authors: Patrick Blackburn
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
Many-Dimensional Modal Logics: Theory and Applications
Language: en
Pages: 766
Authors: A. Kurucz
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 mathema
Modal Logic
Language: en
Pages: 554
Authors: Patrick Blackburn
Categories: Computers
Type: BOOK - Published: 2002-08-22 - Publisher: Cambridge University Press

A 2001 graduate text on modal logic, a field which has caught the attention of computer scientists, economists and computational linguists.
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 con
Modal Logic
Language: en
Pages: 288
Authors: Nino B. Cocchiarella
Categories: Philosophy
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.
Principles of Knowledge Representation and Reasoning
Language: en
Pages: 736
Authors: A. G. Cohn
Categories: Computers
Type: BOOK - Published: 2000 - Publisher: Morgan Kaufmann Pub

Neighborhood Semantics for Modal Logic
Language: en
Pages: 154
Authors: Eric Pacuit
Categories: Philosophy
Type: BOOK - Published: 2017-11-15 - Publisher: Springer

This book offers a state-of-the-art introduction to the basic techniques and results of neighborhood semantics for modal logic. In addition to presenting the re
Advances in Modal Logic
Language: en
Pages: 424
Authors: Frank Wolter
Categories: Modality
Type: BOOK - Published: 2002 - Publisher: World Scientific

Advances in Modal Logic is a unique forum for presenting the latest results and new directions of research in modal logic. The topics dealt with are of interdis