Modal logic, an extension of classical logic, investigates the modes of truth such as necessity and possibility. Its development has been closely intertwined with advances in proof theory, a field ...

Studia Logica: An International Journal for Symbolic Logic, Vol. 108, No. 4 (August 2020), pp. 649-686 (38 pages) Proof-theoretic methods are developed for subsystems of Johansson's logic obtained by ...

We give a constructive proof of McNaughton's theorem stating that every piecewise linear function with integral coefficients is representable by some sentence in the infinite-valued calculus of ...

If we take all the rules of propositional logic we have seen so far and exclude reductio ad absurdum, or proof by contradiction, we have what is known as intuitionistic logic. In intuitionistic logic, ...

Abstract: In recent work Baader has shown that a certain description logic with conjunction, existential quantification and with circular definitions has a polynomial time subsumption problem both ...