| 模态逻辑视角下的模型检测理论 |
| |
| 引用本文： | 李健.模态逻辑视角下的模型检测理论[J].毕节学院学报,2012,30(1):47-50. |
| |
| 作者姓名： | 李健 |
| |
| 作者单位： | 太原科技大学哲学研究所,山西太原,030024 |
| |
| 摘 要： | 模型检测是逻辑学和计算机科学中的一个重要研究领域,作为模态逻辑的一个重要分支时间逻辑,它的繁荣发展就出现在这一领域。模型检测是关于时间逻辑判定问题的研究,其研究的两类实体:一是关于刻画程序计算性质的逻辑公式,二是用来刻画程序的模型,模型检测的任务就是要校准这两种不同形式的信息——公式和模型——是否相一致。
|
| 关 键 词： | 模型检测 时间逻辑 可判定性 模态逻辑 |
Model Checking Theory in the View of Modal Logic |
| |
| LI Jian.Model Checking Theory in the View of Modal Logic[J].Journal of Bijie University,2012,30(1):47-50. |
| |
| Authors: | LI Jian |
| |
| Institution: | LI Jian(Institute of Philosophy,Taiyuan University of Science and Technology,Taiyuan,Shanxi030024,China) |
| |
| Abstract: | Model checking theory is a cross-cutting areas of Logic and Computer Science.Temporal logic acts as an important branch of modal logic,its spectacular development appeared in this area.Model checking is about the study of decision problem of temporal logic,and two types of entities are involved,one is logic formula used to discribe a program`s computational properties,the other is the model used to describe a program.The task of model checking is to calibrate these two different forms of information—the formula and the model—is conformed or not.This paper studies model checking theory from the point of modal logical view,and evaluate its affect on modal logical. |
| |
| Keywords: | Model Checking Temporal Logic Decidability Modal Logic |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
|
