Proof Theory for Functional Modal Logic

Studia Logica 106 (1):49-84 (2018)
  Copy   BIBTEX

Abstract

We present some proof-theoretic results for the normal modal logic whose characteristic axiom is \. 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.

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 99,410

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Analytics

Added to PP
2017-06-12

Downloads
62 (#283,313)

6 months
8 (#429,067)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Shawn Standefer
National Taiwan University

Citations of this work

Guest Editors’ Introduction.Riccardo Bruni & Shawn Standefer - 2019 - Journal of Philosophical Logic 48 (1):1-9.
Paradoxes and contemporary logic.Andrea Cantini - 2008 - Stanford Encyclopedia of Philosophy.
Knot much like tonk.Michael De & Hitoshi Omori - 2022 - Synthese 200 (149):1-14.

Add more citations

References found in this work

Two notions of necessity.Martin Davies & Lloyd Humberstone - 1980 - Philosophical Studies 38 (1):1-31.
Foundations of mathematical logic.Haskell Brooks Curry - 1963 - New York: Dover Publications.
Tonk, Plonk and Plink.Nuel Belnap - 1962 - Analysis 22 (6):130-134.
Relevance Logic.Michael Dunn & Greg Restall - 1983 - In Dov M. Gabbay & Franz Guenthner (eds.), Handbook of Philosophical Logic. Dordrecht, Netherland: Kluwer Academic Publishers.

View all 29 references / Add more references