Methods for Modalities 2007

Carlos Areces (1, 2) , Stephane Demri (3, 4)

1 TALARIS - Natural Language Processing: representation, inference and semantics
2 Inria - Institut National de Recherche en Informatique et en Automatique
3 LSV - Laboratoire Spécification et Vérification
4 CNRS - Centre National de la Recherche Scientifique

Proceedings of the 5th Workshop on Methods for Modalities, M4M 2007, Cachan, France, November 29-30, 2007

Mots clés: modal logic; non-classical logic; temporal logic; hybrid logic; complexity; proof system

Domaines: Logique en informatique [cs.LO]

Carlos Areces, Stephane Demri. Methods for Modalities 2007. Proceedings of Methods for Modalities 2007 (231), Electronic Notes in Computer Science, pp.1--362, 2009, Electronic Notes in Computer Science. ⟨inria-00323836⟩