Pages that link to "Item:Q1280045"
From MaRDI portal
The following pages link to Categorial inference and modal logic (Q1280045):
Displaying 4 items.
- Algorithmic correspondence and canonicity for distributive modal logic (Q409328) (← links)
- Algebraic modal correspondence: Sahlqvist and beyond (Q2401020) (← links)
- Categories: How I Learned to Stop Worrying and Love Two Sorts (Q2820692) (← links)
- Simulating polyadic modal logics by monadic ones (Q3160548) (← links)
