Pages that link to "Item:Q3160548"
From MaRDI portal
The following pages link to Simulating polyadic modal logics by monadic ones (Q3160548):
Displaying 6 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)
- Simulation and transfer results in modal logic -- a survey (Q1372357) (← links)
- Algebraic semantics for propositional superposition logic (Q4994023) (← links)
- Canonical varieties with no canonical axiomatisation (Q5461397) (← links)