Proof Analysis in Modal Logic

By Sara Negri. Journal of Philosophical Logic, 2005

349 citations recorded by the source corpus.

Subfields: Artificial Intelligence, Computational Theory and Mathematics

View Paper: https://www.semanticscholar.org/paper/f89384e8216a665534903b470cce4b8476814a50