Pages that link to "Item:Q3160548"
From MaRDI portal
The following pages link to Simulating polyadic modal logics by monadic ones (Q3160548):
Displaying 5 items.
- Modal definability based on Łukasiewicz validity relations (Q284231) (← links)
- Denumerably many Post-complete normal modal logics with propositional constants (Q691130) (← links)
- A Sahlqvist theorem for distributive modal logic (Q705532) (← links)
- Algebraic semantics for propositional superposition logic (Q4994023) (← links)
- Canonical varieties with no canonical axiomatisation (Q5461397) (← links)
