Junktoren und Quantoren; Baumverfahren; Sequenzenlogik; Dialogspiele; Axiomatik; Natürliches Schließen; Kalkül der Positiv- und Negativteile; Spielarten der Semantik