PSPACE complexity of modal logic KD45\(_{n}\)

DOI10.1007/S10986-008-9006-8zbMath1149.03018OpenAlexW2074133487MaRDI 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

complexitysequent calculusPSPACEloop-check freemulti-modal logic KD45\(_{n}\)

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Complexity of proofs (03F20)

Cites Work

• Efficient loop-check for KD45 logic
• A guide to completeness and complexity for modal logics of knowledge and belief
• Single step tableaux for modal logics. Computational properties, complexity and methodology
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: PSPACE complexity of modal logic KD45\(_{n}\)