Pages that link to "Item:Q4953222"

The following pages link to Logical questions concerning the <i>μ</i>-calculus: Interpolation, Lyndon and Łoś-Tarski (Q4953222):

Displayed 20 items.

• A decidability result for the model checking of infinite-state systems (Q438572) ‎ (← links)
• The Lyndon property and uniform interpolation over the Grzegorczyk logic (Q467667) ‎ (← links)
• Refinement modal logic (Q476194) ‎ (← links)
• Bisimulation quantifiers and uniform interpolation for guarded first order logic (Q481100) ‎ (← links)
• An axiomatization of bisimulation quantifiers via the \(\mu\)-calculus (Q557788) ‎ (← links)
• Deciding the existence of uniform interpolants over transitive models (Q627437) ‎ (← links)
• Coalgebraic semantics of modal logics: an overview (Q639647) ‎ (← links)
• The many faces of interpolation (Q1024113) ‎ (← links)
• Interpolation in non-classical logics (Q1024121) ‎ (← links)
• Ambiguous classes in \(\mu\)-calculi hierarchies (Q1770419) ‎ (← links)
• On the formalization of the modal \(\mu\)-calculus in the calculus of inductive constructions (Q1854404) ‎ (← links)
• Semantics for knowledge and change of awareness (Q2258808) ‎ (← links)
• Modal frame correspondences and fixed-points (Q2433098) ‎ (← links)
• On modal \(\mu\)-calculus with explicit interpolants (Q2506827) ‎ (← links)
• Interpolation properties for provability logics GL and GLP (Q2510774) ‎ (← links)
• 2004 Summer Meeting of the Association for Symbolic Logic (Q3370624) ‎ (← links)
• On the Notion of Vacuous Truth (Q3498452) ‎ (← links)
• Continuous Fragment of the mu-Calculus (Q3540176) ‎ (← links)
• Craig Interpolation for Linear Temporal Languages (Q3644755) ‎ (← links)
• μ-programs, uniform interpolation and bisimulation quantifiers for modal logics ★ (Q3647242) ‎ (← links)