A hierarchy of temporal logics with past
type: Item
instance of: scholarly article
title: A hierarchy of temporal logics with past
zbMATH Open document ID: 0873.68068
DOI: 10.1016/0304-3975(95)00035-U
author: Ph Schnoebelen
author: François Laroussinie
published in: Theoretical Computer Science
publication date: 1997-02-28T00:00:00Z
Mathematics Subject Classification ID: 68Q15
zbMATH DE Number: 984929
zbMATH Keywords: temporal logics
MaRDI profile type: Publication
cites work: The temporal logic of branching time
cites work: Characterizing finite Kripke structures in propositional temporal logic
cites work: Symbolic model checking: \(10^{20}\) states and beyond
cites work: A new algebraic semantic approach and some adequate connectives for computation with temporal logic over discrete time
cites work: Characterization of temporal property classes
cites work: Q3336675
cites work: Automatic verification of finite-state concurrent systems using temporal logic specifications
cites work: Q4385542
cites work: Q3906386
cites work: Decision procedures and expressiveness in the temporal logic of branching time
cites work: “Sometimes” and “not never” revisited
cites work: Q3768883
cites work: Translations between modal logics of reactive systems
cites work: Q3711745
cites work: Q4733399
cites work: Q4318636
cites work: Q5556395
cites work: The complexity of propositional linear temporal logics
cites work: Q4023900
cites work: Ockhamist Computational Logic: Past-Sensitive Necessitation in CTL
Wikidata QID: Q126298498
full work available at URL: 0304-3975(95)00035-u
OpenAlex ID: W1998387957
description: scientific article; zbMATH DE number 984929