Modal logic is a branch of logic that extends ... existing methods in the literature and organizing proof theory for various propositional modal logics[1]. Another important contribution is ...

Computational complexity and proof systems are fundamental areas ... area of research has been the extension of classical propositional logic to include counting quantifiers, which allows for ...