Back to Results
First PageMeta Content
Modal 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 Zhou
Add to Reading List

Document Date: 2008-12-12 07:46:31

Open Document

File Size: 493,39 KB

Share Result on Facebook