Cooperation between Direct Method and Translation Method in Non Classical Logics: Some Results in Propositional S5.

Ricardo Caferra, Stphane Demri

Browse the full IJCAI paper archive.