The following pages link to (Q4215603):
Displaying 4 items.
- Spatial logic of tangled closure operators and modal mu-calculus (Q515566) (← links)
- Kripke completeness of some intermediate predicate logics with the axiom of constant domain and a variant of canonical formulas (Q1208113) (← links)
- (Q4215594) (← links)
- A negative solution of Kuznetsov’s problem for varieties of bi-Heyting algebras (Q5055314) (← links)