The following pages link to (Q4518916):
Displaying 7 items.
- Cut elimination in coalgebraic logics (Q618171) (← links)
- Tableaux for some modal-tense logics Graham Priest's fashion (Q2144188) (← links)
- Modular sequent calculi for classical modal logics (Q2350219) (← links)
- On the relative complexity of labelled modal tableaux (Q2843911) (← links)
- Admissibility of cut in coalgebraic logics (Q2873670) (← links)
- Semantic Labelled Tableaux for Propositional BI (Q4444937) (← links)
- On the finite model property of non-normal modal logics (Q6562546) (← links)