Pages that link to "Item:Q409328"
From MaRDI portal
The following pages link to Algorithmic correspondence and canonicity for distributive modal logic (Q409328):
Displayed 7 items.
- Algebraic semantics and model completeness for intuitionistic public announcement logic (Q393906) (← links)
- Algebraic proof theory for substructural logics: cut-elimination and completions (Q409322) (← links)
- Algorithmic correspondence and canonicity for distributive modal logic (Q409328) (← links)
- Algorithmic correspondence for intuitionistic modal mu-calculus (Q483295) (← links)
- The bounded proof property via step algebras and step frames (Q741087) (← links)
- Hypersequent and display calculi -- a unified perspective (Q2259013) (← links)
- A SAHLQVIST THEOREM FOR SUBSTRUCTURAL LOGIC (Q4928772) (← links)