時相論理
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2019/01/02 21:06 UTC 版)
関連項目
外部リンク
- Temporal Logic (英語) - スタンフォード哲学百科事典「時相論理」の項目。
- Temporal Logic by Yde Venema, formal description of syntax and semantics, questions of axiomatization. Treating also Kamp's dyadic temporal operators (since, until)
- Notes on games in temporal logic by Ian Hodkinson, including a formal description of first-order temporal logic
- CADP - provides generic model checkers for various temporal logic
- PAT is a powerful free model checker, LTL checker, simulator and refinement checker for CSP and its extensions (with shared variable, arrays, wide range of fairness).
時相論理と同じ種類の言葉
- 時相論理のページへのリンク