AiML news 2010

December 8, 2010: Hybrid Logic and its Proof-Theory by Torben Braüner has been published

[Hybrid Logic and its Proof-Theory by Torben Braüner]

Torben Braüner
Hybrid Logic and its Proof-Theory
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 Springer.

October 27, 2010: Advances in Modal Logic, Volume 8 has been published

[Advances in Modal Logic, volume 8]

Lev Beklemishev, Valentin Goranko and Valentin Shehtman, editors.

AiML volume 8 has been published by College Publications and is now available online.

August 27, 2010: Advances in Modal Logic 2010 has been held in Moscow, Russia

AiML 2010 took place at the Steklov Mathematical Institute in Moscow, Russia, from 24-27 August 2010. The conference was organized by Lev Beklemishev with Valentin Shehtman and Valentin Goranko as the programme co-chairs.

The invited speakers included Alexandru Baltag, Dick de Jongh, Martin Otto and Heinrich Wansing.

Conference local website: