Two-Dimensional Tableaux

Australasian Journal of Logic 13 (7) (2016)
  Copy   BIBTEX

Abstract

We present two-dimensional tableau systems for the actuality, fixedly, and up-arrow operators. All systems are proved sound and complete with respect to a two-dimensional semantics. In addition, a decision procedure for the actuality logics is discussed.

Categories

Keywords

Reprint years

DOI

10.26686/ajl.v13i7.3894

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,774

External links

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

Through your library

My notes

Similar books and articles

Actuality, Tableaux, and Two-Dimensional Modal Logics.Fabio Lampert - 2018 - Erkenntnis 83 (3):403-443.
Completeness results for some two-dimensional logics of actuality.David R. Gilbert & Edwin D. Mares - 2012 - Review of Symbolic Logic 5 (2):239-258.
What is the correct logic of necessity, actuality and apriority?Peter Fritz - 2014 - Review of Symbolic Logic 7 (3):385-414.
Matrices and Modalities: On the Logic of Two-Dimensional Semantics.Peter Fritz - manuscript
Tableaux and Interpolation for Propositional Justification Logics.Meghdad Ghari - 2024 - Notre Dame Journal of Formal Logic 65 (1):81-112.
The Logic of Sequence Frames.Fabio Lampert - 2022 - Review of Symbolic Logic 15 (1):101-132.
A logic for epistemic two-dimensional semantics.Peter Fritz - 2013 - Synthese 190 (10):1753-1770.
Natural Deduction for Diagonal Operators.Fabio Lampert - 2017 - In Maria Zack & Dirk Schlimm (eds.), Research in History and Philosophy of Mathematics: The CSHPM 2016 Annual Meeting in Calgary, Alberta. New York: Birkhäuser. pp. 39-51.
Natural Deduction for Diagonal Operators.Fabio Lampert - 2017 - In Maria Zack & Dirk Schlimm (eds.), Research in History and Philosophy of Mathematics: The CSHPM 2016 Annual Meeting in Calgary, Alberta. New York: Birkhäuser. pp. 39-51.
Actuality and the a priori.Fabio Lampert - 2018 - Philosophical Studies 175 (3):809-830.

Analytics

Added to PP
2017-02-14

Downloads
32 (#127,447)

6 months
6 (#1,472,471)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

David R. Gilbert
University of Groningen

Citations of this work

Actual Issues for Relevant Logics.Shawn Standefer - 2020 - Ergo: An Open Access Journal of Philosophy 7.
The Logic of Sequence Frames.Fabio Lampert - 2022 - Review of Symbolic Logic 15 (1):101-132.

Add more citations

References found in this work

Two-dimensional semantics.David J. Chalmers - 2006 - In Ernest LePore & Barry C. Smith (eds.), The Oxford Handbook to the Philosophy of Language. Oxford, England: Oxford University Press.
Two notions of necessity.Martin Davies & Lloyd Humberstone - 1980 - Philosophical Studies 38 (1):1-31.
Reference and contingency.Gareth Evans - 1979 - The Monist 62 (2):161-189.
Formal Properties of 'Now'.Hans Kamp - 1971 - Theoria 37 (3):227-273.
Reference and Contingency.Gareth Evans - 1979 - The Monist 62 (2):161-189.

View all 15 references / Add more references