Arrow logic and multi-modal logic

Conceived by Johan van Benthem and Yde Venema, arrow logic started as an attempt to give a general account of the logic of transitions. The generality of the approach provided a wide application area ranging from philosophy to computer science. The book gives a comprehensive survey of logical resear...

Ausführliche Beschreibung

Bibliographische Detailangaben

Format:	Buch
Sprache:	English
Veröffentlicht:	Stanford, Calif. CSLI Publ. [u.a.] 1996
Ausgabe:	1. ed.
Schriftenreihe:	Studies in logic, language and information
Schlagworte:	Modale logica Logic Modality (Logic) Modallogik Aufsatzsammlung
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!