Pages that link to "Item:Q5718684"
From MaRDI portal
The following pages link to Minimal predicates, fixed-points, and definability (Q5718684):
Displaying 13 items.
- Sahlqvist theorem for modal fixed point logic (Q418010) (← links)
- Sahlqvist correspondence for modal mu-calculus (Q454371) (← links)
- Algorithmic correspondence for intuitionistic modal mu-calculus (Q483295) (← links)
- McCarthy variations in a modal key (Q543607) (← 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)
- The many faces of interpolation (Q1024113) (← links)
- Annotation theories over finite graphs (Q2269516) (← links)
- Algorithmic correspondence and canonicity for non-distributive logics (Q2273010) (← links)
- Modal frame correspondences and fixed-points (Q2433098) (← links)
- Syntactic Completeness of Proper Display Calculi (Q5056369) (← links)
- Supervenience, Dependence, Disjunction (Q5215498) (← links)
- Logic between Expressivity and Complexity (Q5747755) (← links)
