Pages that link to "Item:Q2983397"
From MaRDI portal
The following pages link to Sahlqvist theory for impossible worlds (Q2983397):
Displaying 14 items.
- Special issue: Impossible worlds (Q1276416) (← links)
- Impossible worlds: A modest approach (Q1276421) (← links)
- Correspondence, canonicity, and model theory for monotonic modal logics (Q2021573) (← links)
- Algorithmic correspondence and canonicity for non-distributive logics (Q2273010) (← links)
- Proper multi-type display calculi for rough algebras (Q2333670) (← links)
- Algebraic modal correspondence: Sahlqvist and beyond (Q2401020) (← links)
- Categories: How I Learned to Stop Worrying and Love Two Sorts (Q2820692) (← links)
- Probabilistic Epistemic Updates on Algebras (Q3457689) (← links)
- Logics with Impossibility as the Negation and Regular Extensions of the Deontic Logic D2 (Q4576065) (← links)
- THE LOGIC OF RESOURCES AND CAPABILITIES (Q4577999) (← links)
- (Q4625704) (← links)
- (Q5119388) (← links)
- Linear Logic Properly Displayed (Q5886520) (← links)
- Correspondence theory for modal Fairtlough-Mendler semantics of intuitionistic modal logic (Q6067750) (← links)