| Seminar
on Computation Theory
雷欽隆 教授
(
臺灣大學電機系 )
On Theoretic Aspects of Temporal Logic
摘要
| | Temporal Logic is a special type of modal logic; it provides a formal system for describing and reasoning about the truth values of assertions change over time. Temporal Logic has been successfully applied to various fields such as reasoning about concurrent programs and verification of VLSI circuits. In this talk, we will focus on decidability, complexity, axiomatizability and
expressiveness issues of Temporal Logic. |
91年4月10日 (星期三)
PM16:10-17:00
台灣大學數學系新數館308室
|