Pages that link to "Item:Q557788"
From MaRDI portal
The following pages link to An axiomatization of bisimulation quantifiers via the \(\mu\)-calculus (Q557788):
Displaying 6 items.
- Refinement modal logic (Q476194) (← links)
- The many faces of interpolation (Q1024113) (← links)
- Uniform interpolation from cyclic proofs: the case of modal mu-calculus (Q2142087) (← links)
- On modal \(\mu\)-calculus with explicit interpolants (Q2506827) (← links)
- Mathematical Logic for Life Science Ontologies (Q3638273) (← links)
- Some Formal Semantics for Epistemic Modesty (Q5006835) (← links)
