New Ways for Developing Proof Theories for First-Order Multi Modal Logics.

Hans Jrgen Ohlbach

Browse the full CSL paper archive.