Contatto
Come acquistare
Consegna
Guida all'acquisto
Hybrid Logic and its Proof-Theory
Inglese
240 b
Fino a 30 giorni per il reso
I clienti hanno acquistato anche
/
In brossura
23.79
€
/
Libro
15.59
€
/
Rigido
16.09
€
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.
Informazioni sul libro
Inglese
Regala questo libro oggi stesso
È facile
1 Aggiungi il libro al carrello e scegli la consegna come regalo 2 Ti invieremo subito il buono 3 Il libro arriverà all'indirizzo del destinatarioPotrebbe interessarti anche
/
In brossura
136.09
€
/
In brossura
27.19
€
/
In brossura
90.79
€
/
In brossura
6.99
€
Ciao! Sono Libroamiko, il tuo consulente di libri.
Come posso aiutarti?