Lück, Martin
(Wadern : Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH, 2016)
A framework is developed that extends Hilbert-style proof systems for propositional and modal logics to comprehend their team-based counterparts. The method is applied to classical propositional logic and the modal logic ...