 |
|
|
Item Details
| Title:
|
MATHEMATICS OF MODALITY
|
| By: |
Robert Goldblatt |
| Format: |
Hardback |
| List price:
|
£52.00 |
|
We believe that this item is permanently unavailable, and so we cannot source
it.
|
|
|
|
|
|
| ISBN 10: |
1881526240 |
| ISBN 13: |
9781881526247 |
| Publisher: |
CENTRE FOR THE STUDY OF LANGUAGE & INFORMATION |
| Pub. date: |
1 June, 1993 |
| Edition: |
2nd |
| Series: |
Center for the Study of Language and Information Publication Lecture Notes 43 |
| Pages: |
274 |
| Description: |
This volume collects together some of the author's papers on modal logic, including work on the duality between algebraic and set-theoretic modals, on infinitary rules of inference, and on recent results on the relationship between modal logic and first-order logic. |
| Synopsis: |
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. |
| Illustrations: |
bibliography, index |
| Publication: |
US |
| Imprint: |
Centre for the Study of Language & Information |
| Returns: |
Returnable |
|
|
|
 |
|
|
|
|
|
Little Worried Caterpillar (PB)
Little Green knows she''s about to make a big change - transformingfrom a caterpillar into a beautiful butterfly. Everyone is VERYexcited! But Little Green is VERY worried. What if being a butterflyisn''t as brilliant as everyone says?Join Little Green as she finds her own path ... with just a littlehelp from her friends.
|
|
All the Things We Carry PB
What can you carry?A pebble? A teddy? A bright red balloon? A painting you''ve made?A hope or a dream?This gorgeous, reassuring picture book celebrates all the preciousthings we can carry, from toys and treasures to love and hope. With comforting rhymes and fabulous illustrations, this is a warmhug of a picture book.
|
|
|
|