Livre: Hybrid Logic and its Proof-Theory

[Thierry Hamon]

Date: Mon, 20 Dec 2010 16:54:22 +0100
From: Torben Brauner <torben at ruc.dk>
Message-ID: <4D0F7C2E.7050102 at ruc.dk>
X-url: http://www.springer.com/philosophy/logic+and+philosophy+of+language/book/978-94-007-0001-7

BOOK ANNOUNCEMENT
Hybrid Logic and its Proof-Theory
by Torben Braüner
Applied Logic Series, Vol. 37
Springer, 2011
ISBN 978-94-007-0001-7

* 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, or something else). This 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. In the present book we demonstrate that
  hybrid-logical proof-theory remedies these deficiencies by giving a
  spectrum of well-behaved proof systems (natural deduction, Gentzen,
  tableau, and axiom systems) for a spectrum of different hybrid
  logics (propositional, first-order, intensional first-order, and
  intuitionistic).  * All these proof 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.

* Further information can be found at
http://www.springer.com/philosophy/logic+and+philosophy+of+language/book/978-94-007-0001-7

-------------------------------------------------------------------------
Message diffuse par la liste Langage Naturel <LN at cines.fr>
Informations, abonnement : http://www.atala.org/article.php3?id_article=48
English version       : 
Archives                 : http://listserv.linguistlist.org/archives/ln.html
                                http://liste.cines.fr/info/ln

La liste LN est parrainee par l'ATALA (Association pour le Traitement
Automatique des Langues)
Information et adhesion  : http://www.atala.org/
-------------------------------------------------------------------------