Toggle navigation
PDFSEARCH.IO
Document Search Engine - browse more than 18 million documents
Sign up
Sign in
Back to Results
First Page
Meta Content
View Document Preview and Link
Focused labeled proof systems for modal logic Dale Miller and Marco Volpe ยด Inria and LIX, Ecole Polytechnique, France Abstract. Focused proofs are sequent calculus proofs that group inference rules into alternating pos
Add to Reading List
Document Date: 2015-10-19 12:38:16
Open Document
File Size: 393,92 KB
Share Result on Facebook
UPDATE
Focused labeled proof systems for modal logic Dale Miller and Marco Volpe ยด Inria and LIX, Ecole Polytechnique, France Abstract. Focused proofs are sequent calculus proofs that group inference rules into alternating pos