First Page | Document Content | |
---|---|---|
Date: 2008-12-12 07:46:31Modal logic Model theory Non-classical logic Philosophical logic Proof theory Normal modal logic First-order logic Propositional calculus Provability logic Mathematical logic Interpretation Modal companion | Properties of Intuitionistic Provability LogicsRosalie Iemhoff Dick de Jongh Chunlai ZhouAdd to Reading ListSource URL: www.phil.uu.nlDownload Document from Source WebsiteFile Size: 493,39 KBShare Document on Facebook |