This paper looks into the writings of Jürgen Rödig (1942–1975) on legal logic with the aim of identifying those results which still appear to be essential contributions to legal theory. Of particular ...

In this paper we present a sequent calculus for propositional dynamic logic built using an enriched version of the tree-hypersequent method and including an infinitary rule for the iteration operator.

Technical Terms Modal logic: A branch of logic that extends classical propositional and predicate logic to include operators expressing modality, such as necessity and possibility.