Pages that link to "Item:Q631077"
From MaRDI portal
The following pages link to Algorithmic correspondence and completeness in modal logic. V. Recursive extensions of SQEMA (Q631077):
Displaying 8 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)
- Algebraic modal correspondence: Sahlqvist and beyond (Q2401020) (← links)
- Algorithmic Correspondence and Completeness in Modal Logic. II. Polyadic and Hybrid Extensions of the Algorithm SQEMA (Q3431963) (← links)
- IV. Semantic extensions of SQEMA (Q3643312) (← links)
- (Q4994195) (← links)
- Algorithmic Correspondence for Relevance Logics I. The Algorithm $$\mathsf {PEARL}$$ (Q5027233) (← links)
