Adavnces in Modal Logic

A presentation of advances in the relational model theory and the algorithmic treatment of modal logics. It contains papers from the third conference on "Advances in Modal Logic", and covers dynamic logic, description logics, hybrid logics, epistemic logics, tense logic, action logic, and more.

"Advances in Modal Logic" is a forum for presenting the results and directions of research in modal logic broadly conceived. The topics dealt with are of interdisciplinary interest and range from mathematical, computational and philosophical problems to applications in knowledge representation and formal linguistics. This third volume presents substantial advance in the relational model theory and the algorithmic treatment of modal logics. It contains invited and contributed papers from the third conference on "Advances in Modal Logic", held at the University of Leipzig (Germany) in October 2000. It includes papers on dynamic logic, description logics, hybrid logics, epistemic logics, combinations of modal logics, tense logic, action logic, provability logic and modal predicate logic.

From description to hybrid logics, and back, C. Areces and M. de Rijke
homophonic theory of truth for tense logic, Torben Brauner
weak necessity on weak Kleene matrices, F. Correia
bimodal logics for reasoning about continuous dynamics, J.M. Davoren and R.P. Gore
from bisimulation quantifiers to classifying toposes, S. Ghilardi and M. Zawadowski
normal products of modal logics, Y. Hasimoto
a tableau algorithm for the clique guarded fragment, C. Hirsch and S. Tobies
the complexity of reasoning with Boolean modal logics, C. Lutz and U. Sattler
outline of a logic of action, K. Segerberg
belief, names, and modes of presentation, R. Ye and M. Fitting. (Part contents)