Pages that link to "Item:Q2433098"
From MaRDI portal
The following pages link to Modal frame correspondences and fixed-points (Q2433098):
Displayed 24 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)
- The bounded proof property via step algebras and step frames (Q741087) (← 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)
- Algorithmic correspondence and canonicity for non-distributive logics (Q2273010) (← links)
- Circular proofs for the Gödel-Löb provability logic (Q2343897) (← links)
- Toward a theory of play: a logical perspective on games and interaction (Q2344965) (← links)
- Algebraic modal correspondence: Sahlqvist and beyond (Q2401020) (← links)
- Interpolation properties for provability logics GL and GLP (Q2510774) (← 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)
- The Henkin Sentence (Q3454817) (← 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)
- (Q4603451) (← links)
- (Q4625704) (← links)
- Constructive Modalities with Provability Smack (Q5255796) (← links)
- Fixed point logics and definable topological properties (Q6149964) (← links)