An until hierarchy and other applications of an Ehrenfeucht-Fraïssé game for temporal logic
type: Item
instance of: scholarly article
title: An until hierarchy and other applications of an Ehrenfeucht-Fraïssé game for temporal logic
zbMATH Open document ID: 1005.03021
author: Kousha Etessami
author: Thomas Wilke
published in: Information and Computation
publication date: 2003-01-14T00:00:00Z
Mathematics Subject Classification ID: 03B44
Mathematics Subject Classification ID: 03D05
Mathematics Subject Classification ID: 68Q45
Mathematics Subject Classification ID: 68Q60
zbMATH DE Number: 1853111
zbMATH Keywords: linear temporal logic
zbMATH Keywords: Until operator
zbMATH Keywords: Until depth
zbMATH Keywords: Ehrenfeucht-Fraïssé game
zbMATH Keywords: first-order expressibility
MaRDI profile type: Publication
full work available at URL: inco.1999.2846
OpenAlex ID: W2050398281
cites work: On the expressive power of temporal logic
cites work: An application of games to the completeness problem for formalized theories
cites work: Q4385542
cites work: Q3230355
cites work: Q3835817
cites work: Definability with bounded number of bound variables
cites work: Q5641083
cites work: On finite monoids having only trivial subgroups
cites work: The complexity of propositional linear temporal logics
cites work: Reasoning in a restricted temporal logic
cites work: Classifying regular events in symbolic logic
cites work: On the Ehrenfeucht-Fraïssé game in theoretical computer science
DOI: 10.1006/INCO.1999.2846
description: scientific article; zbMATH DE number 1853111