A branching time logic with past operators
type: Item
instance of: scholarly article
title: A branching time logic with past operators
zbMATH Open document ID: 0821.68055
DOI: 10.1016/S0022-0000(05)80048-0
author: Michael Kaminski
published in: Journal of Computer and System Sciences
publication date: 1994-11-06T00:00:00Z
Mathematics Subject Classification ID: 68Q10
Mathematics Subject Classification ID: 68Q55
Mathematics Subject Classification ID: 68Q45
zbMATH DE Number: 682618
zbMATH Keywords: branching time logic
zbMATH Keywords: finite automata
zbMATH Keywords: graph automata
MaRDI profile type: Publication
cites work: Q5618355
cites work: Tree acceptors and some of their applications
cites work: “Sometimes” and “not never” revisited
cites work: Deciding full branching time logic
cites work: A classification of \(\omega\)-regular languages
cites work: Finite automata on directed graphs
cites work: Finite and Circular Path Models for Branching Time Logics
cites work: Decision problems forω-automata
cites work: Q3711745
cites work: Q3325068
cites work: Automata on infinite objects and their applications to logic and programming
cites work: Decidability of Second-Order Theories and Automata on Infinite Trees
cites work: Q5616162
cites work: The complexity of propositional linear temporal logics
cites work: Propositional dynamic logic of looping and converse is elementarily decidable
cites work: Generalized finite automata theory with an application to a decision problem of second-order logic
cites work: Q3341881
cites work: Temporal logic can be more expressive
Recommended article: The temporal logic of branching time
Recommended article: Temporal Equilibrium Logic with past operators
Recommended article: A hierarchy of temporal logics with past
Recommended article: Branching-time logics with path relativisation
Recommended article: Branching within time: An expressively complete and elementarily decidable temporal logic for time granularity
Recommended article: Decision procedures and expressiveness in the temporal logic of branching time
Recommended article: First-order logics of braching time: on expressive power of temporal operators
Recommended article: An extended branching-time Ockhamist temporal logic
Recommended article: A note about the axioms for branching-time logic
description: scientific article; zbMATH DE number 682618