首页   按字顺浏览 期刊浏览 卷期浏览 Decidability and incompleteness results for first-order temporal logics of linear time
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)



返 回