First Page | Document Content | |
---|---|---|
Date: 2008-10-20 05:03:57Logic Mathematical logic Non-classical logic Modal logic Proof theory Philosophical logic Model theory Admissible rule Sequent Normal modal logic Kripke semantics Intuitionistic logic | Hypersequent Systems for the Admissible Rules of Modal and Intermediate Logics Rosalie Iemhoff1 and George Metcalfe2 1 Department of Philosophy, Utrecht UniversityAdd to Reading ListSource URL: www.phil.uu.nlDownload Document from Source WebsiteFile Size: 225,78 KBShare Document on Facebook |