Free Book Online
Book Mathematics of Modality (Center for the Study of Language and Information Publication Lecture Notes)

Pdf

Mathematics of Modality (Center for the Study of Language and Information Publication Lecture Notes)

2.4 (2653)

Log in to rate this item

    Available in PDF - DJVU Format | Mathematics of Modality (Center for the Study of Language and Information Publication Lecture Notes).pdf | Language: ENGLISH
    Robert Goldblatt (Author)

    Book details


Modal logic is the study of modalities - expressions that qualify assertions about the truth of statements - like the ordinary language phrases necessarily, possibly, it is known/believed/ought to be, etc., and computationally or mathematically motivated expressions like provably, at the next state, or after the computation terminates. The study of modalities dates from antiquity, but has been most actively pursued in the last three decades, since the introduction of the methods of Kripke semantics, and now impacts on a wide range of disciplines, including the philosophy of language and linguistics ('possible words' semantics for natural language), constructive mathematics (intuitionistic logic), theoretical computer science (dynamic logic, temporal and other logics for concurrency), and category theory (sheaf semantics). This volume collects together a number of the author's papers on modal logic, beginning with his work on the duality between algebraic and set-theoretic modals, and including two new articles, one on infinitary rules of inference, and the other about recent results on the relationship between modal logic and first-order logic. Another paper on the 'Henkin method' in completeness proofs has been substantially extended to give new applications. Additional articles are concerned with quantum logic, provability logic, the temporal logic of relativistic spacetime, modalities in topos theory, and the logic of programs.
3.4 (10441)
  • Pdf

*An electronic version of a printed book that can be read on a computer or handheld device designed specifically for this purpose.

Formats for this Ebook

PDF
Required Software Any PDF Reader, Apple Preview
Supported Devices Windows PC/PocketPC, Mac OS, Linux OS, Apple iPhone/iPod Touch.
# of Devices Unlimited
Flowing Text / Pages Pages
Printable? Yes

Book details

  • PDF | 288 pages
  • Robert Goldblatt (Author)
  • The Center for the Study of Language and Information Publications (1 Oct. 1993)
  • English
  • 4
  • Science Nature

Read online or download a free book: Mathematics of Modality (Center for the Study of Language and Information Publication Lecture Notes)

 

Review Text


Name:
Email*:
The message text*: