Back to Results
First PageMeta Content
Logic / Mathematical logic / Mathematics / Proof theory / Automated theorem proving / Craig interpolation / Lemmas / Non-classical logic / Sequent / Propositional calculus / First-order logic / Modal logic


Uniform interpolation and sequent calculi in modal logic Rosalie Iemhoff∗ March 28, 2015 Abstract
Add to Reading List

Document Date: 2015-04-01 07:45:41


Open Document

File Size: 368,13 KB

Share Result on Facebook