Contact
How to shop
Delivery
Shopping guide
Hybrid Logic and its Proof-Theory
English
300 b
Up to 30 days for returns
Customers also purchased
/
Paperback
10 365
Ft
/
Hardback
7 339
Ft
/
Book
6 787
Ft
This book is the first book-length treatment of hybrid logic and its proof-theory. Hybrid logic is an extension of ordinary modal logic which allows explicit reference to individual points in a model. The extra expressive power is useful for many applications, for example, when reasoning about time one often wants to formulate a series of statements about what happens at specific times.§There is little consensus about proof-theory for ordinary modal logic. Many modal-logical proof systems lack important properties and the relationships between proof systems for different modal logics are often unclear. The present book demonstrates that hybrid-logical proof-theory remedies this lack of uniformity in ordinary modal-logical proof systems. It considers a spectrum of different versions of hybrid logic (propositional, first-order, international first-order, and intuitionist) and of different types of proof-systems for hybrid-logic (natural deduction, Gentzen, tableaux, and axiom systems). All these systems can be motivated independently, but the fact that the systems can be given in a uniform way shows that hybrid logic and hybrid-logical proof theory is a natural enterprise.
About the book
English
Give this book today
It's easy
1 Add to cart and choose Deliver as present at the checkout 2 We'll send you a voucher 3 The book will arrive at the recipient's addressYou might also be interested in
/
Paperback
60 269
Ft
/
Paperback
11 540
Ft
/
Adobe ePub DRM
5 349
Ft
/
Paperback
6 876
Ft
/
Paperback
40 218
Ft
Hi! I'm Libroamiko, your book advisor.
How can I help you?