The following pages link to (Q4580320):
Displaying 7 items.
- On non-self-referential fragments of modal logics (Q508827) (← links)
- An algebraic approach to subframe logics. Modal case (Q540406) (← links)
- Modal languages and bounded fragments of predicate logic (Q1267082) (← links)
- Axiomatization and polynomial solvability of strictly positive fragments of certain modal logics (Q1668101) (← links)
- Adding clauses to poor man's logic (without increasing the complexity) (Q3647233) (← links)
- (Q5015271) (← links)
- Modal logics with hard diamond-free fragments (Q5108014) (← links)
