scientific article; zbMATH DE number 4006233

zbMATH Open0621.03007MaRDI QIDQ3757893FDOQ3757893

Authors S. Shelah, Yuri Gurevich 

Publication date 1985

zbMATH Keywords

decidabilityreduction algorithmcolored treesbranching time logicPASTUNTILbinary connectivesbranch variablesBTLFUTURENECESSARYreduction of formal theoriesSINCEtheory of trees with quantification over nodes and branchestrees with additional unary predicatesunary connectives

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Decidability of theories and sets of sentences (03B25)

Recommendations

• The decision problem for branching time logic
• Decision procedures and expressiveness in the temporal logic of branching time
• The decision problem for linear temporal logic
• scientific article; zbMATH DE number 2080198
• scientific article; zbMATH DE number 2084388
• On the Complexity of Branching-Time Logics
• scientific article; zbMATH DE number 3892598
• Deciding full branching time logic
• Algorithmic properties of branching-time logics
• The temporal logic of branching time

Cited in

(9)

• Notes on monadic logic. Part B: Complexity of linear orders in ZFC
• Decision procedures and expressiveness in the temporal logic of branching time
• Counting on CTL\(^*\): On the expressive power of monadic path logic
• More on monadic logic. C: Monadically interpreting in stable unsuperstable \(\mathcal T\) and the monadic theory of \(^{\omega}\lambda\)
• Arity hierarchy for temporal logics
• The decision problem for branching time logic
• Notes on monadic logic. A: Monadic theory of the real line
• Approximating trees as coloured linear orders and complete axiomatisations of some classes of trees
• Branching time logics \(\mathcal {BTL}^{\text{U,S}}_{\text{N},\text{N}^{-1}}(\mathcal {Z})_{\alpha }\) with operations \textit{Until} and \textit{Since} based on bundles of integer numbers, logical consecutions, deciding algorithms

This page was built for publication:

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