Mathematical logic, set theory, lattices and universal algebra form an interconnected framework that underpins much of modern mathematics. At its heart, mathematical logic provides rigorous formal ...

This is a preview. Log in through your library . Abstract We construct an extension $\scr{L}^{P}$ of the standard language $\scr{L}$ of classical propositional logic by adjoining to the alphabet of ...

This is a preview. Log in through your library . Abstract In this paper we present a sequent calculus for propositional dynamic logic built using an enriched version of the tree-hypersequent method ...