Calendar Logic
作者:
HansJürgen Ohlbach,
Dov Gabbay,
期刊:
Journal of Applied Non-Classical Logics
(Taylor Available online 1998)
卷期:
Volume 8,
issue 4
页码: 291-323
ISSN:1166-3081
年代: 1998
DOI:10.1080/11663081.1998.10510948
出版商: Taylor & Francis Group
关键词: temporal logic;calendar systems;tableau calculus
数据来源: Taylor
摘要:
A propositional temporal logic is introduced whose operators quantify over intervals of a reference time line. The intervals are specified symbolically, for example ‘next week's weekend’. The specification language for the intervals takes into account all the features of real calendar systems. A simple statement which can be expressed in this language is for example: ‘yesterday I worked for eight hours with one hour lunch break at noon’. Calendar Logic can be translated into propositional logic. Satisfiability is therefore decidable. Since the translation is exponential, a tableau decision procedure for checking decidability is presented as an alternative.
点击下载:
PDF (1703KB)
返 回