Pages that link to "Item:Q1015480"
From MaRDI portal
The following pages link to On modal \(\mu \)-calculus and Gödel-Löb logic (Q1015480):
Displaying 17 items.
- Maximally permissive controlled system synthesis for non-determinism and modal logic (Q513185) (← links)
- On the proof theory of the modal mu-calculus (Q1005937) (← links)
- On the formalization of the modal \(\mu\)-calculus in the calculus of inductive constructions (Q1854404) (← links)
- Circular proofs for the Gödel-Löb provability logic (Q2343897) (← links)
- Paradoxes of interaction? (Q2516581) (← links)
- Fixed-Point Elimination in the Intuitionistic Propositional Calculus (Q2811336) (← links)
- Some modal aspects of XPath (Q2901192) (← links)
- On modal \(\mu \)-calculus over finite graphs with small components or small tree width (Q2909221) (← links)
- (Q3002404) (← links)
- The Henkin Sentence (Q3454817) (← links)
- The modal<i>μ</i>-calculus hierarchy over restricted classes of transition systems (Q3655261) (← links)
- (Q4525272) (← links)
- On the expressivity of the modal mu-calculus (Q4593954) (← links)
- Gödel Homomorphisms as Gödel Modal Operators (Q4914310) (← links)
- Constructive Modalities with Provability Smack (Q5255796) (← links)
- A Note on Gödel-Dummet Logic LC (Q6043008) (← links)
- The alternation hierarchy of the \(\mu \)-calculus over weakly transitive frames (Q6160744) (← links)
