Télécharger le livre :  Hybrid Logic and its Proof-Theory
This 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 (where the points represent times, possible worlds, states in a computer,...

Editeur : Springer
Parution : 2010-11-17
Collection : Applied Logic Series ePub

94,94

Téléchargement immédiat
Dès validation de votre commande