Decidability for branching time
type: Item
instance of: scholarly article
title: Decidability for branching time
zbMATH Open document ID: 0467.03006
DOI: 10.1007/BF00370320
author: John P. Burgess
published in: Studia Logica
publication date: 1980-01-01T00:00:00Z
Mathematics Subject Classification ID: 03B25
Mathematics Subject Classification ID: 03B45
Mathematics Subject Classification ID: 03C85
zbMATH DE Number: 3731998
zbMATH Keywords: trees
zbMATH Keywords: modality
zbMATH Keywords: monadic logic
zbMATH Keywords: tense logic
MaRDI profile type: Publication
cites work: The unreal future
cites work: Q5556395
cites work: Decidability of Second-Order Theories and Automata on Infinite Trees
description: scientific article; zbMATH DE number 3731998