You are not currently logged in.
Access JSTOR through your library or other institution:
A Deep Inference System for the Modal Logic S5
Studia Logica: An International Journal for Symbolic Logic
Vol. 85, No. 2 (Mar., 2007), pp. 199-214
Published by: Springer
Stable URL: http://www.jstor.org/stable/40210767
Page Count: 16
You can always find the topics here!Topics: Modal logic, Inference, Sequents, Logical theorems, Sequent calculus, Logical proofs, Induction assumption, Proof theory, Proof calculi, Rules of inference
Were these topics helpful?See somethings inaccurate? Let us know!
Select the topics that are inaccurate.
Preview not available
We present a cut-admissible system for the modal logic S5 in a formalism that makes explicit and intensive use of deep inference. Deep inference is induced by the methods applied so far in conceptually pure systems for this logic. The system enjoys systematicity and modularity, two important properties that should be satisfied by modal systems. Furthermore, it enjoys a simple and direct design: the rules are few and the modal rules are in exact correspondence to the modal axioms.
Studia Logica: An International Journal for Symbolic Logic © 2007 Springer