scientific article; zbMATH DE number 4006233

zbMATH Open0621.03007MaRDI QIDQ3757893FDOQ3757893

Authors: S. Shelah, Yuri Gurevich 

Publication date: 1985

Title of this publication is not available (Why is that?)

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

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)

Cited In (9)

• Notes on monadic logic. Part B: Complexity of linear orders in ZFC
• Counting on CTL\(^*\): On the expressive power of monadic path logic
• The decision problem for branching time logic
• 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
• 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

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)