Sciweavers

Share
CLIMA
2004

A Logic for Knowledge, Correctness, and Real Time

9 years 7 months ago
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".
Bozena Wozna, Alessio Lomuscio
Added 30 Oct 2010
Updated 30 Oct 2010
Type Conference
Year 2004
Where CLIMA
Authors Bozena Wozna, Alessio Lomuscio
Comments (0)
books