Advances in modal logic, volume 3
Éditeur :
World Scientific Publishing Co Pte Ltd
ISBN :
9789812381798
Date de publication :
24 sept. 2002
Langue :
Anglais
Pays d'origine :
Singapour
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.