Pages that link to "Item:Q3540176"
From MaRDI portal
The following pages link to Continuous Fragment of the mu-Calculus (Q3540176):
Displayed 6 items.
- Syntactic cut-elimination for a fragment of the modal mu-calculus (Q714717) (← links)
- Local Model Checking in a Logic for True Concurrency (Q2988383) (← links)
- The Proof Theory of Common Knowledge (Q3299587) (← links)
- (Q4603451) (← links)
- $\aleph_1$ and the modal $\mu$-calculus (Q4972732) (← links)
- SMALL INFINITARY EPISTEMIC LOGICS (Q5216976) (← links)