On Gabbay's temporal fixed point operator
type: Item
instance of: scholarly article
title: On Gabbay's temporal fixed point operator
zbMATH Open document ID: 0874.68272
DOI: 10.1016/0304-3975(94)00084-V
published in: Theoretical Computer Science
publication date: 1997-02-28T00:00:00Z
Mathematics Subject Classification ID: 68T27
zbMATH DE Number: 985856
zbMATH Keywords: USF
zbMATH Keywords: PSPACE-complete satisfiability problem
zbMATH Keywords: MetateM
author: Ian Hodkinson
MaRDI profile type: Publication
cites work: Solving Sequential Conditions by Finite-State Strategies
cites work: Q4281254
cites work: Q3835817
cites work: Rabin's uniformization problem
cites work: Testing and generating infinite sequences by a finite automaton
cites work: Q4518419
cites work: The complexity of propositional linear temporal logics
cites work: Q4518421
cites work: Q3141916
cites work: Temporal logic can be more expressive
full work available at URL: 0304-3975(94)00084-v
OpenAlex ID: W2111376785
description: scientific article; zbMATH DE number 985856