Back to Results
First PageMeta Content
Logic / 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 University
Add to Reading List

Document Date: 2008-10-20 05:03:57


Open Document

File Size: 225,78 KB

Share Result on Facebook
UPDATE