A cut-free sequent system for two-dimensional modal logic, and why it matters

Annals of Pure and Applied Logic 163 (11):1611-1623 (2012)

Authors
Greg Restall
University of Melbourne
Abstract
The two-dimensional modal logic of Davies and Humberstone [3] is an important aid to our understanding the relationship between actuality, necessity and a priori knowability. I show how a cut-free hypersequent calculus for 2D modal logic not only captures the logic precisely, but may be used to address issues in the epistemology and metaphysics of our modal concepts. I will explain how the use of our concepts motivates the inference rules of the sequent calculus, and then show that the completeness of the calculus for Davies–Humberstone models explains why those concepts have the structure described by those models. The result is yet another application of the completeness theorem.
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1016/j.apal.2011.12.012
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 41,650
Through your library

References found in this work BETA

Epistemic Two-Dimensional Semantics.David J. Chalmers - 2004 - Philosophical Studies 118 (1-2):153-226.
Two Notions of Necessity.Martin Davies & Lloyd Humberstone - 1980 - Philosophical Studies 38 (1):1-31.
Multiple Conclusions.Greg Restall - 2005 - In Petr Hájek, Luis Valdés-Villanueva & Dag Westerståhl (eds.), Logic, Methodology and Philosophy of Science. College Publications.
Two-Dimensional Adventures.Lloyd Humberstone - 2004 - Philosophical Studies 118 (1-2):17--65.
Why We Need A-Intensions.Frank Jackson - 2004 - Philosophical Studies 118 (1-2):257-277.

View all 11 references / Add more references

Citations of this work BETA

Actuality and the a Priori.Fabio Lampert - 2018 - Philosophical Studies 175 (3):809-830.
Norms and Necessity.Amie L. Thomasson - 2013 - Southern Journal of Philosophy 51 (2):143-160.

View all 12 citations / Add more citations

Similar books and articles

Analytics

Added to PP index
2010-12-22

Total views
74 ( #105,330 of 2,250,005 )

Recent downloads (6 months)
5 ( #388,982 of 2,250,005 )

How can I increase my downloads?

Downloads

My notes

Sign in to use this feature