The decision problem for branching time logic

DOI10.2307/2274321zbMATH Open0584.03006OpenAlexW4234687429MaRDI QIDQ3708772FDOQ3708772

S. Shelah, Yuri Gurevich

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

Recommendations

• scientific article; zbMATH DE number 4006233
• The temporal logic of branching time
• Deciding full branching time logic
• scientific article; zbMATH DE number 2084388
• The decision problem for linear temporal logic

zbMATH Keywords

tree automatamonadic theoryemptiness problemfirst order theorywell-founded trees

Mathematics Subject Classification ID

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)

Cites Work

• The monadic theory of order

Cited In (24)

• Notes on monadic logic. Part B: Complexity of linear orders in ZFC
• Системы временной логики I: моменты, истории, деревья
• Counting on CTL\(^*\): On the expressive power of monadic path logic
• An infinite hierarchy of temporal logics over branching time
• A system of dynamic modal logic
• \(\text{BTL}_{2}\) and the expressive power of \(\text{ECTL}^{+}\)
• Pure Logic with Branched Quantifiers
• Rules and Refutation Rules for the Logic of Finite n-ary Trees
• First-order definability of transition structures
• A finite axiomatization of the set of strongly valid Ockhamist formulas
• Title not available (Why is that?)
• Finite and Circular Path Models for Branching Time Logics
• A decidable temporal logic of parallelism
• Title not available (Why is that?)
• Completeness of a branching-time logic with possible choices
• Composition Over the Natural Number Ordering with an Extra Binary Relation
• APPROXIMATING TREES AS COLOURED LINEAR ORDERS AND COMPLETE AXIOMATISATIONS OF SOME CLASSES OF TREES
• Decision procedures and expressiveness in the temporal logic of branching time
• Notes on monadic logic. A: Monadic theory of the real line
• More on monadic logic. C: Monadically interpreting in stable unsuperstable \(\mathcal T\) and the monadic theory of \(^{\omega}\lambda\)
• Arity hierarchy for temporal logics
• TABLEAUX: A general theorem prover for modal logics
• Temporal Logics with Reference Pointers and Computation Tree Logics
• Quantification over sets of possible worlds in branching-time semantics

This page was built for publication: The decision problem for branching time logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3708772)