Modular Focused Proof Systems for Intuitionistic Modal Logics Kaustuv Chaudhuri, Sonia Marin∗ , and Lutz Straßburger Inria - Modal - Document - PDFSEARCH.IO

First Page	Meta Content
	Modular Focused Proof Systems for Intuitionistic Modal Logics Kaustuv Chaudhuri, Sonia Marin∗ , and Lutz Straßburger Inria & LIX/École polytechnique, France {kaustuv.chaudhuri,sonia.marin,lutz.strassburger}@inria.fr Add to Reading List Document Date: 2016-05-01 08:20:30 Open Document File Size: 679,08 KB Share Result on Facebook

Modular Focused Proof Systems for Intuitionistic Modal Logics Kaustuv Chaudhuri, Sonia Marin∗ , and Lutz Straßburger Inria & LIX/École polytechnique, France {kaustuv.chaudhuri,sonia.marin,lutz.strassburger}@inria.frAdd to Reading List