DOI10.1007/s10986-008-9006-8zbMath1149.03018MaRDI QIDQ946142
A. Birštunas
Publication date: 22 September 2008 Published in: Lithuanian Mathematical Journal (Search for Journal in Brave) Full work available at URL: https://doi.org/10.1007/s10986-008-9006-8
zbMATH Keywords
complexity; sequent calculus; PSPACE; loop-check free; multi-modal logic KD45\(_{n}\)
Mathematics Subject Classification ID
03B45: Modal logic (including the logic of norms)
03F20: Complexity of proofs
Cites Work