Modal logics of knowledge and time

Summary form only given, as follows. The paper gives a "stat of the art" overview of modal logics of knowledge and time, covering both axiomatizations and model checking. In the temporal dimension, we consider both linear and branching time logics. The semantics of knowledge can be defined...

Ausführliche Beschreibung

Bibliographische Detailangaben

1. Verfasser:	van der Meyden, R.
Format:	Tagungsbericht
Sprache:	eng
Schlagworte:	Australia Clocks Logic Synchronization
Online-Zugang:	Volltext bestellen
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!