Pages that link to "Item:Q6104378"

The following pages link to On the expressive completeness of the propositional mu-calculus with respect to monadic second order logic (Q6104378):

Displaying 50 items.

• Satisfiability of \(\operatorname{ECTL}^\ast\) with constraints (Q269503) (← links)
• Sahlqvist theorem for modal fixed point logic (Q418010) (← links)
• Refinement modal logic (Q476194) (← links)
• The \(\mu\)-calculus alternation hierarchy collapses over structures with restricted connectivity (Q477204) (← links)
• Spatial logic of tangled closure operators and modal mu-calculus (Q515566) (← links)
• On expressive power of basic modal intuitionistic logic as a fragment of classical FOL (Q518747) (← links)
• Modal characterisation theorems over special classes of frames (Q732052) (← links)
• Modality, bisimulation and interpolation in infinitary logic (Q1295444) (← links)
• Counting on CTL\(^*\): On the expressive power of monadic path logic (Q1398378) (← links)
• Monadic second-order logic on tree-like structures (Q1606130) (← links)
• Expressiveness of concept expressions in first-order description logics (Q1606296) (← links)
• The \(\mu\)-calculus alternation depth hierarchy is infinite over finite planar graphs (Q1643142) (← links)
• First-order \(\mu\)-calculus over generic transition systems and applications to the situation calculus (Q1706163) (← links)
• The finite model property for logics with the tangle modality (Q1708103) (← links)
• Second-order propositional modal logic: expressiveness and completeness results (Q1731834) (← links)
• Completeness for the modal \(\mu\)-calculus: separating the combinatorics from the dynamics (Q1749477) (← links)
• Guarded fixed point logics and the monadic theory of countable trees. (Q1853504) (← links)
• An infinite hierarchy of temporal logics over branching time (Q1854487) (← links)
• Bisimulation-invariant PTIME and higher-dimensional \(\mu\)-calculus (Q1960425) (← links)
• Model checking the full modal mu-calculus for infinite sequential processes (Q1960527) (← links)
• Temporal logic with recursion (Q2051830) (← links)
• A focus system for the alternation-free \(\mu \)-calculus (Q2142090) (← links)
• Model theory of monadic predicate logic with the infinity quantifier (Q2144617) (← links)
• Bisimulation invariant monadic-second order logic in the finite (Q2182315) (← links)
• Determinizing monitors for HML with recursion (Q2291832) (← links)
• Generalising automaticity to modal properties of finite structures (Q2373714) (← links)
• The monadic theory of finite representations of infinite words (Q2379951) (← links)
• Measure properties of regular sets of trees (Q2407093) (← links)
• Characterization, definability and separation via saturated models (Q2453534) (← links)
• Automata and fixed point logic: a coalgebraic perspective (Q2495648) (← links)
• On modal \(\mu\)-calculus with explicit interpolants (Q2506827) (← links)
• Bisimulation equivalence and regularity for real-time one-counter automata (Q2637644) (← links)
• Knowledge forgetting in propositional \(\mu\)-calculus (Q2679422) (← links)
• Alternating context-free languages and linear time \(\mu \)-calculus with sequential composition (Q2842604) (← links)
• Characteristic \(\mu\)-calculus formulas for underspecified transition systems (Q2848138) (← links)
• Counterpart semantics for a second-order \(\mu\)-calculus (Q2898468) (← links)
• Relating Paths in Transition Systems: The Fall of the Modal Mu-Calculus (Q2946334) (← links)
• The mu-calculus and Model Checking (Q3176384) (← links)
• (Q4553282) (← links)
• Deciding the unguarded modal -calculus (Q4583323) (← links)
• Separation logics and modalities: a survey (Q4586138) (← links)
• (Q4603451) (← links)
• Relating Paths in Transition Systems (Q4691742) (← links)
• Monadic Second Order Logic And Its Fragments (Q4923546) (← links)
• Counterpart Semantics for a Second-Order μ-Calculus (Q4931321) (← links)
• $\aleph_1$ and the modal $\mu$-calculus (Q4972732) (← links)
• The Complexity of Model-Checking Tail-Recursive Higher-Order Fixpoint Logic (Q4989164) (← links)
• Bisimulation Invariant Monadic-Second Order Logic in the Finite (Q5002802) (← links)
• Unifying models (Q5047155) (← links)
• (Q5232911) (← links)