Related Books
Language: en
Pages: 311
Pages: 311
Investigations in Modal and Tense Logics with Applications to Problems in Philosophy and Linguistics
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media
This book is intended to serve as an advanced text and reference work on modal logic, a subject of growing importance which has applications to philosophy and l
Language: en
Pages: 269
Pages: 269
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media
How many miles to Babylon? Three-score and ten. Can I get there by candle-light? Yes, and back again. If your heels are nimble dnd light, You may get there by c
Language: en
Pages: 303
Pages: 303
Type: BOOK - Published: 2007-05-06 - Publisher: Springer Science & Business Media
Dynamic Epistemic Logic is the logic of knowledge change. This book provides various logics to support such formal specifications, including proof systems. Conc
Language: en
Pages: 632
Pages: 632
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media
This volume began as a remembrance of Alonzo Church while he was still with us and is now finally complete. It contains papers by many well-known scholars, most
Language: en
Pages: 402
Pages: 402
Type: BOOK - Published: 2002-09-11 - Publisher: Routledge
This book introduces an important group of logics that have come to be known under the umbrella term 'susbstructural'. Substructural logics have independently l
