Branching-time logics repeatedly referring to states
type: Item
instance of: scholarly article
title: Branching-time logics repeatedly referring to states
zbMATH Open document ID: 1193.03034
author: V. Weber
published in: Journal of Logic, Language and Information
publication date: 2010-01-06T00:00:00Z
Mathematics Subject Classification ID: 03B44
Mathematics Subject Classification ID: 03B62
Mathematics Subject Classification ID: 68Q17
Mathematics Subject Classification ID: 68Q45
Mathematics Subject Classification ID: 68Q60
zbMATH DE Number: 5653955
zbMATH Keywords: branching time logic
zbMATH Keywords: hybrid logic
zbMATH Keywords: temporal logic
zbMATH Keywords: complexity
zbMATH Keywords: CTL
zbMATH Keywords: pebble automata
zbMATH Keywords: alternating tree automata
zbMATH Keywords: symmetric automata
zbMATH Keywords: satisfiability
MaRDI profile type: Publication
full work available at URL: s10849-009-9093-x
OpenAlex ID: W2017460625
cites work: Q4945233
cites work: Hybrid logics: Characterization, interpolation and complexity
cites work: The temporal logic of branching time
cites work: The Complexity of CTL* + Linear Past
cites work: Domino-tiling games
cites work: LTL with the freeze quantifier and register automata
cites work: “Sometimes” and “not never” revisited
cites work: Model checking hybrid logics (with an application to semistructured data)
cites work: Q4518420
cites work: 25 years of model checking. History, achievements, perspectives
cites work: Q3768883
cites work: A hierarchy of temporal logics with past
cites work: Specification in CTL + past for verification in CTL.
cites work: Complexity of hybrid logics over transitive frames
cites work: Q5616162
cites work: Bounded-Variable Fragments of Hybrid Logics
cites work: Computer Science Logic
cites work: Q4219045
cites work: Q4501666
cites work: Infinite games on finitely coloured graphs with applications to automata on infinite trees
DOI: 10.1007/S10849-009-9093-X
Recommended article: Q4941936
Recommended article: The temporal logic of branching time
Recommended article: Branching-time logics with path relativisation
Recommended article: An infinite hierarchy of temporal logics over branching time
Recommended article: Decision procedures and expressiveness in the temporal logic of branching time
Recommended article: Branching-time temporal logic and tree automata
Recommended article: Transition semantics for branching time
Recommended article: A branching time logic with past operators
Recommended article: A note about the axioms for branching-time logic
Recommended article: A Decidable Temporal Logic of Repeating Values
description: scientific article; zbMATH DE number 5653955