Proof Theory for Functional Modal Logic
Journal
Studia Logica
Journal Volume
106
Journal Issue
1
Date Issued
2018
Author(s)
Abstract
We present some proof-theoretic results for the normal modal logic whose characteristic axiom is ∼ □ A≡ □ ∼ A. We present a sequent system for this logic and a hypersequent system for its first-order form and show that these are equivalent to Hilbert-style axiomatizations. We show that the question of validity for these logics reduces to that of classical tautologyhood and first-order logical truth, respectively. We close by proving equivalences with a Fitch-style proof system for revision theory.
Subjects
Functional modal logic | Hypersequents | Proof theory | Revision theory
SDGs
Publisher
Springer Nature
Type
journal article