Pages that link to "Item:Q2433098"
From MaRDI portal
The following pages link to Modal frame correspondences and fixed-points (Q2433098):
Displayed 13 items.
- Algorithmic correspondence and canonicity for distributive modal logic (Q409328) (← links)
- Sahlqvist theorem for modal fixed point logic (Q418010) (← links)
- Sahlqvist correspondence for modal mu-calculus (Q454371) (← links)
- Algorithmic correspondence and completeness in modal logic. V. Recursive extensions of SQEMA (Q631077) (← links)
- Complete axiomatizations for XPath fragments (Q975868) (← links)
- On modal \(\mu \)-calculus and Gödel-Löb logic (Q1015480) (← links)
- Merging frameworks for interaction (Q1037376) (← links)
- On Hamblin's 15 Tense Theorem (Q2901190) (← links)
- Some modal aspects of XPath (Q2901192) (← links)
- ON MODAL μ-CALCULUS OVER FINITE GRAPHS WITH SMALL COMPONENTS OR SMALL TREE WIDTH (Q2909221) (← links)
- Continuous Fragment of the mu-Calculus (Q3540176) (← links)
- Game Quantification Patterns (Q3601804) (← links)
- The modal<i>μ</i>-calculus hierarchy over restricted classes of transition systems (Q3655261) (← links)