登入選單

返回Google圖書搜尋

Modal Logics for Continuous Dynamics

Jennifer Mary Davoren

出版	Cornell University, 1998
URL	http://books.google.com.hk/books?id=3tZUAAAAYAAJ&hl=&source=gbs_api

註釋

This work is a formal investigation of a number of bimodal and polymodal logics built on a base of propositional S4, and is a contribution to the theory of hybrid control systems. It is the first stage of a larger project of developing logics for the design and verification of such systems.