The following pages link to (Q3832540):
Displayed 7 items.
- Inverse images of box formulas in modal logic (Q383565) (← links)
- Efficient loop-check for KD45 logic (Q926638) (← links)
- PSPACE complexity of modal logic KD45\(_{n}\) (Q946142) (← links)
- Cut elimination for \(\mathrm{S4}_n\) and \(\mathrm{K4}_n\) with the central agent axiom (Q1042695) (← links)
- Full classical S5 in natural deduction with weak normalization (Q2478553) (← links)
- A deep inference system for the modal logic S5 (Q2642520) (← links)
- Strongly analytic tableaux for normal modal logics (Q5210808) (← links)