The following pages link to (Q5483012):
Displayed 7 items.
- Boolean logics with relations (Q604451) (← links)
- Coinductive models and normal forms for modal logics (or how we learned to stop worrying and love coinduction) (Q631075) (← links)
- Parameterized modal satisfiability (Q1759682) (← links)
- Complete Abstractions and Subclassical Modal Logics (Q2961561) (← links)
- Boolean Logics with Relations (Q3498402) (← links)
- Characterizing and extending answer set semantics using possibility theory (Q4592973) (← links)
- VARIETIES OF POSITIVE MODAL ALGEBRAS AND STRUCTURAL COMPLETENESS (Q5241233) (← links)