The following pages link to (Q5556396):
Displayed 4 items.
- A general method for proving decidability of intuitionistic modal logics (Q2506825) (← links)
- Through an Inference Rule, Darkly (Q3305631) (← links)
- Modal multilattice logics with Tarski, Kuratowski, and Halmos operators (Q5013628) (← links)
- BOUNDED-ANALYTIC SEQUENT CALCULI AND EMBEDDINGS FOR HYPERSEQUENT LOGICS (Q5159492) (← links)