scientific article
From MaRDI portal
Publication:3832540
zbMath0677.03010MaRDI QIDQ3832540
Publication date: 1989
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
A deep inference system for the modal logic S5 ⋮ Inverse images of box formulas in modal logic ⋮ Efficient loop-check for KD45 logic ⋮ PSPACE complexity of modal logic KD45\(_{n}\) ⋮ Full classical S5 in natural deduction with weak normalization ⋮ Strongly analytic tableaux for normal modal logics ⋮ Cut elimination for \(\mathrm{S4}_n\) and \(\mathrm{K4}_n\) with the central agent axiom