Pages that link to "Item:Q1854336"
From MaRDI portal
The following pages link to Completeness of Kozen's axiomatisation of the propositional \(\mu\)-calculus. (Q1854336):
Displayed 21 items.
- Sahlqvist theorem for modal fixed point logic (Q418010) (← links)
- An axiomatization of bisimulation quantifiers via the \(\mu\)-calculus (Q557788) (← links)
- Completeness for flat modal fixpoint logics (Q638475) (← links)
- Coalgebraic semantics of modal logics: an overview (Q639647) (← links)
- Syntactic cut-elimination for a fragment of the modal mu-calculus (Q714717) (← links)
- Completions of \(\mu \)-algebras (Q925850) (← links)
- Canonical completeness of infinitary \(\mu \) (Q941442) (← links)
- On the proof theory of the modal mu-calculus (Q1005937) (← links)
- On modal \(\mu \)-calculus and Gödel-Löb logic (Q1015480) (← links)
- Duality for modal \(\mu\)-logics (Q1128984) (← links)
- Axiomatising extended computation tree logic (Q1389439) (← links)
- Fixed point characterization of infinite behavior of finite-state systems (Q1389678) (← links)
- On the equational definition of the least prefixed point. (Q1401250) (← links)
- Mathematical modal logic: A view of its evolution (Q1422628) (← links)
- Sequent calculi for process verification: Hennessy-Milner logic for an arbitrary GSOS (Q1878715) (← links)
- A Buchholz rule for modal fixed point logics (Q1942334) (← links)
- On modal \(\mu\)-calculus with explicit interpolants (Q2506827) (← links)
- The Modal μ-Calculus Caught Off Guard (Q3010366) (← links)
- EXPTIME Tableaux for the Coalgebraic μ-Calculus (Q3644748) (← links)
- Domain mu-calculus (Q4460689) (← links)
- Free \(\mu\)-lattices (Q5960406) (← links)