Title: Gentzen Calculi for Modal Propositional Logic
Subjects: Mathematics, Computer vision, Philosophy (General), Calculus, Modality (logic), Logic, symbolic and mathematical, Linguistics (general), Philosophy, Mathematics, general, Computer Imaging, Vision, Pattern Recognition and Graphics