Title: Decidability and Expressive Power of Real Time Logics
Abstract: Temporal Logic based on the two modalities “Since” and “Until” (TL) is popular among computer scientists as the framework for reasoning about a system evolving in time. This logic is usually referred to as the standard linear time temporal logic. The “linear time“ appears in the name of this logic probably because when it was introduced by Pnueli its intended models were linear orders; more precisely, ω-models. The adjective “standard” is presumable used due to the Kamp theorem which states that it is expressively equivalent (over the ω-models) to first order monadic logic of order – a very fundamental logic.
Publication Year: 2006
Publication Date: 2006-01-01
Language: en
Type: book-chapter
Indexed In: ['crossref']
Access and Citation
Cited By Count: 1
AI Researcher Chatbot
Get quick answers to your questions about the article from our AI researcher chatbot