The Expressive Power of Temporal Logic of Actions
type: Item
instance of: scholarly article
title: The Expressive Power of Temporal Logic of Actions
zbMATH Open document ID: 1011.03009
author: Arkady Estrin
author: Michael Kaminski
publication date: 2002-11-27T00:00:00Z
Mathematics Subject Classification ID: 03B44
Mathematics Subject Classification ID: 68Q60
Mathematics Subject Classification ID: 03B70
zbMATH DE Number: 1836051
zbMATH Keywords: temporal interpretation
zbMATH Keywords: invariance under stuttering
zbMATH Keywords: temporal logic of actions
zbMATH Keywords: second-order temporal logic
MaRDI profile type: Publication
OpenAlex ID: W2146914143
DOI: 10.1093/LOGCOM/12.5.839
Recommended article: Q4270065
Recommended article: Q4218103
Recommended article: On the expressive power of temporal logic
Recommended article: Q4484477
Recommended article: Reasoning about actions in dynamic linear time temporal logic
Recommended article: Q4028803
Recommended article: A Real-time Semantics of Temporal Logic of Actions
Recommended article: On the expressiveness of temporal logic programming
Recommended article: Executable temporal logics
Recommended article: Logics of temporal-epistemic actions
published in: Journal Of Logic And Computation
description: scientific article; zbMATH DE number 1836051