The decision problem for branching time logic
From MaRDI portal
Publication:3708772
DOI10.2307/2274321zbMath0584.03006OpenAlexW4234687429MaRDI QIDQ3708772
Publication date: 1985
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2274321
Trees (05C05) Modal logic (including the logic of norms) (03B45) Automata and formal grammars in connection with logical questions (03D05) Decidability of theories and sets of sentences (03B25)
Related Items (17)
Системы временной логики I: моменты, истории, деревья ⋮ Notes on monadic logic. A: Monadic theory of the real line ⋮ A decidable temporal logic of parallelism ⋮ Composition Over the Natural Number Ordering with an Extra Binary Relation ⋮ Counting on CTL\(^*\): On the expressive power of monadic path logic ⋮ Notes on monadic logic. Part B: Complexity of linear orders in ZFC ⋮ More on monadic logic. C: Monadically interpreting in stable unsuperstable \(\mathcal T\) and the monadic theory of \(^{\omega}\lambda\) ⋮ TABLEAUX: A general theorem prover for modal logics ⋮ Arity hierarchy for temporal logics ⋮ \(\text{BTL}_{2}\) and the expressive power of \(\text{ECTL}^{+}\) ⋮ Quantification over sets of possible worlds in branching-time semantics ⋮ Temporal Logics with Reference Pointers and Computation Tree Logics ⋮ A system of dynamic modal logic ⋮ First-order definability of transition structures ⋮ An infinite hierarchy of temporal logics over branching time ⋮ APPROXIMATING TREES AS COLOURED LINEAR ORDERS AND COMPLETE AXIOMATISATIONS OF SOME CLASSES OF TREES ⋮ A finite axiomatization of the set of strongly valid Ockhamist formulas
Cites Work
This page was built for publication: The decision problem for branching time logic
