Back to Results
First PageMeta Content
Philosophical logic / Model theory / Metalogic / Bisimulation / Logic in computer science / Kripke semantics / Modal logic / State transition system / Linear temporal logic / Logic / Mathematical logic / Mathematics


Modal and Temporal Logics Colin Stirling School of Informatics
Add to Reading List

Document Date: 2004-06-22 09:28:24

Open Document

File Size: 719,26 KB

Share Result on Facebook
UPDATE