Sequent Caluli for Normal Modal Propositional Logics | Institute for Logic, Language and Computation

Logic, Philosophy and Linguistics (LP) Series (1988-1998)

LP-1992-12:: Heinrich Wansing Sequent Caluli for Normal Modal Propositional Logics
1.Full Text.

Back