Pages that link to "Item:Q4953222"
From MaRDI portal
The following pages link to Logical questions concerning the <i>μ</i>-calculus: Interpolation, Lyndon and Łoś-Tarski (Q4953222):
Displayed 37 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)
- On modal logics of model-theoretic relations (Q831223) (← links)
- The many faces of interpolation (Q1024113) (← links)
- Interpolation in non-classical logics (Q1024121) (← links)
- Completeness for \(\mu\)-calculi: a coalgebraic approach (Q1731842) (← links)
- Uniform interpolation and coherence (Q1740631) (← links)
- Completeness for the modal \(\mu\)-calculus: separating the combinatorics from the dynamics (Q1749477) (← 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)
- Positive announcements (Q2046881) (← links)
- Combination of uniform interpolants via Beth definability (Q2090132) (← links)
- A note on constructive interpolation for the multi-modal logic \(K_m\) (Q2133432) (← links)
- Uniform interpolation from cyclic proofs: the case of modal mu-calculus (Q2142087) (← links)
- Model theory of monadic predicate logic with the infinity quantifier (Q2144617) (← links)
- Semantics for knowledge and change of awareness (Q2258808) (← links)
- Forgetting in multi-agent modal logics (Q2321251) (← 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)
- Knowledge forgetting in propositional \(\mu\)-calculus (Q2679422) (← links)
- Fixed-Point Elimination in the Intuitionistic Propositional Calculus (Q2811336) (← links)
- The mu-calculus and Model Checking (Q3176384) (← 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)
- (Q4603451) (← links)
- (Q5014447) (← links)
- $$\mu $$ μ -Levels of Interpolation (Q5214736) (← links)
- (Q5232911) (← links)