Decidability and incompleteness results for first-order temporal logics of linear time
作者:
Stephan Merz,
期刊:
Journal of Applied Non-Classical Logics
(Taylor Available online 1992)
卷期:
Volume 2,
issue 2
页码: 139-156
ISSN:1166-3081
年代: 1992
DOI:10.1080/11663081.1992.10510779
出版商: Taylor & Francis Group
数据来源: Taylor
摘要:
The question of axiomatizability of first-order temporal logics is studied w.r.t. different semantics and several restrictions on the language. The validity problem for logics admitting flexible interpretations of the predicate symbols or allowing at least binary predicate symbols is shown to be Π11-complete. In contrast, it is decidable for temporal logics with rigid monadic predicate symbols but without function symbols and identity.
点击下载:
PDF (910KB)
返 回