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 9 items.
- Maximally permissive controlled system synthesis for non-determinism and modal logic (Q513185) (← 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 μ-CALCULUS OVER FINITE GRAPHS WITH SMALL COMPONENTS OR SMALL TREE WIDTH (Q2909221) (← links)
- The Henkin Sentence (Q3454817) (← links)
- The modal<i>μ</i>-calculus hierarchy over restricted classes of transition systems (Q3655261) (← links)
- Constructive Modalities with Provability Smack (Q5255796) (← links)
