A Logic for Knowledge, Correctness, and Real Time

We present TCTLKD, a logic for knowledge, correctness and real time. TCTLKD is interpreted on real time deontic interpreted systems, and extension to continuous time of deontic interpreted systems. We exemplify the use of TCTLKD by discussing a variant of the "railroad crossing system".

• Type: Conference
• Year: 2004
• Where: CLIMA
• Authors: Bozena Wozna, Alessio Lomuscio
• Keywords: CLIMA 2004, CLIMA 2007, Deontic Interpreted Systems, Railroad Crossing System, Real Time