Logo - Fakultät für Mathematik und Informatik Illustration

1996-1

Titel:

Expressive Completeness of Modal Logic on Binary Ramified Frames

AutorInnen: Bernhard Heinemann
Kategorie: Artikel in Zeitschriften
erschienen in: Journal of Applied Non-Classical Logics (1996) 6: 347-367
Bernhard Heinemann | 01.12.2009
FernUni-Logo FernUniversität in Hagen, Fakultät für Mathematik und Informatik, Lehrgebiet Algorithmen und Komplexität, 58084 Hagen, Tel.: +49 2331 987-2823