Pages that link to "Item:Q3708772"

The following pages link to The decision problem for branching time logic (Q3708772):

Displaying 17 items.

• Notes on monadic logic. Part B: Complexity of linear orders in ZFC (Q912091) (← links)
• More on monadic logic. C: Monadically interpreting in stable unsuperstable \(\mathcal T\) and the monadic theory of \(^{\omega}\lambda\) (Q916645) (← links)
• Arity hierarchy for temporal logics (Q944387) (← links)
• A finite axiomatization of the set of strongly valid Ockhamist formulas (Q1066884) (← links)
• Notes on monadic logic. A: Monadic theory of the real line (Q1115431) (← links)
• A decidable temporal logic of parallelism (Q1130239) (← links)
• TABLEAUX: A general theorem prover for modal logics (Q1181709) (← links)
• A system of dynamic modal logic (Q1267078) (← links)
• Counting on CTL\(^*\): On the expressive power of monadic path logic (Q1398378) (← links)
• An infinite hierarchy of temporal logics over branching time (Q1854487) (← links)
• First-order definability of transition structures (Q2322984) (← links)
• \(\text{BTL}_{2}\) and the expressive power of \(\text{ECTL}^{+}\) (Q2500472) (← links)
• Quantification over sets of possible worlds in branching-time semantics (Q2500778) (← links)
• Composition Over the Natural Number Ordering with an Extra Binary Relation (Q2947182) (← links)
• Temporal Logics with Reference Pointers and Computation Tree Logics (Q4443400) (← links)
• APPROXIMATING TREES AS COLOURED LINEAR ORDERS AND COMPLETE AXIOMATISATIONS OF SOME CLASSES OF TREES (Q5015724) (← links)
• Системы временной логики I: моменты, истории, деревья (Q5059703) (← links)