Pages that link to "Item:Q2983393"
From MaRDI portal
The following pages link to Dual characterizations for finite lattices via correspondence theory for monotone modal logic (Q2983393):
Displaying 7 items.
- Algorithmic correspondence and canonicity for non-distributive logics (Q2273010) (← links)
- Non-normal modal logics and conditional logics: semantic analysis and proof theory (Q2672662) (← links)
- A duality between algebras of basic logic and bounded representable \(\text{DR}l\)-monoids (Q2760944) (← links)
- Categories: How I Learned to Stop Worrying and Love Two Sorts (Q2820692) (← links)
- THE LOGIC OF RESOURCES AND CAPABILITIES (Q4577999) (← links)
- (Q4625704) (← links)
- (Q5119388) (← links)
