## AiML news 2010

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

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

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: http://aiml10.mi.ras.ru/

more»