0
Your cart

Your cart is empty

Books > Science & Mathematics > Mathematics > Mathematical foundations

Not currently available

Mathematics of Modality (Paperback, 2nd Ed.) Loot Price: R789
Discovery Miles 7 890
Mathematics of Modality (Paperback, 2nd Ed.): Robert Goldblatt

Mathematics of Modality (Paperback, 2nd Ed.)

Robert Goldblatt

Series: Center for the Study of Language and Information Publication Lecture Notes, 43

 (sign in to rate)
Loot Price R789 Discovery Miles 7 890 | Repayment Terms: R74 pm x 12*

Bookmark and Share

Supplier out of stock. If you add this item to your wish list we will let you know when it becomes available.

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.

General

Imprint: Cambridge UniversityPress
Country of origin: United Kingdom
Series: Center for the Study of Language and Information Publication Lecture Notes, 43
Release date: June 1993
First published: 1994
Authors: Robert Goldblatt
Dimensions: 228 x 152 x 18mm (L x W x T)
Format: Paperback - Trade
Pages: 288
Edition: 2nd Ed.
ISBN-13: 978-1-881526-23-0
Categories: Books > Humanities > Philosophy > Topics in philosophy > Logic
Books > Science & Mathematics > Mathematics > Mathematical foundations > General
Books > Philosophy > Topics in philosophy > Logic
LSN: 1-881526-23-2
Barcode: 9781881526230

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!

Partners