Ein präziser Leitfaden zur Vollständigkeit modaler und intuitionistischer Logik, der klassische Beweistechniken mit zeitgenössischen semantischen Methoden verknüpft und neue theoretische Einsichten eröffnet.