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: 92,758

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

Completeness results for some two-dimensional logics of actuality.David R. Gilbert & Edwin D. Mares - 2012 - Review of Symbolic Logic 5 (2):239-258.
Matrices and Modalities: On the Logic of Two-Dimensional Semantics.Peter Fritz - manuscript
What is the correct logic of necessity, actuality and apriority?Peter Fritz - 2014 - Review of Symbolic Logic 7 (3):385-414.
A logic for epistemic two-dimensional semantics.Peter Fritz - 2013 - Synthese 190 (10):1753-1770.
Dynamic Tableaux for Dynamic Modal Logics.Jonas De Vuyst - 2013 - Dissertation, Vrije Universiteit Brussel
Analytical tableaux for da Costa's hierarchy of paraconsistent logics Cn, 1≤n<ω.Itala M. Loffredo D'Ottaviano & Milton Augustinis de Castro - 2005 - Journal of Applied Non-Classical Logics 15 (1):69-103.
Relational dual tableaux for interval temporal logics.David Bresolin, Joanna Golinska-Pilarek & Ewa Orlowska - 2006 - Journal of Applied Non-Classical Logics 16 (3-4):251–277.
Logics of similarity and their dual tableaux. A survey.Joanna Golińska-Pilarek & Ewa Orlowska - 2008 - In Giacomo Della Riccia, Didier Dubois & Hans-Joachim Lenz (eds.), Preferences and Similarities. Springer. pp. 129--159.
On the Mosaic Method for Many-Dimensional Modal Logics: A Case Study Combining Tense and Modal Operators. [REVIEW]Carlos Caleiro, Luca Viganò & Marco Volpe - 2013 - Logica Universalis 7 (1):33-69.
Many-dimensional arrow logics.Dimiter Vakarelov - 1996 - Journal of Applied Non-Classical Logics 6 (4):303-345.
On the expressive power of first-order modal logic with two-dimensional operators.Alexander W. Kocurek - 2018 - Synthese 195 (10):4373-4417.
Tableaux variants of some modal and relevant systems.P. I. Bystrov - 1988 - Bulletin of the Section of Logic 17 (3/4):92-98.
General flat four-dimensional world pictures and clock systems.J. P. Hsu & J. A. Underwood - 1978 - Foundations of Physics 8 (11-12):833-843.
Actually, Actually.Seth Yalcin - 2015 - Analysis 75 (2):185-191.
First-Order Tableaux with Sorts.Christoph Weidenbach - 1995 - Logic Journal of the IGPL 3 (6):887-906.

Analytics

Added to PP
2017-02-14

Downloads
32 (#512,117)

6 months
6 (#575,766)

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 E. Lepore & B. Smith (eds.), The Oxford Handbook to the Philosophy of Language. 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