First-Order Dialogical Games and Tableaux

Journal of Philosophical Logic 43 (4):785-801 (2014)
  Copy   BIBTEX

Abstract

We present a new proof of soundness/completeness of tableaux with respect to dialogical games in Classical First-Order Logic. As far as we know it is the first thorough result for dialogical games where finiteness of plays is guaranteed by means of what we call repetition ranks

Categories

Keywords

Reprint years

DOI

10.1007/s10992-013-9289-z

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,164

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

The dialogical approach to paraconsistency.Sahid Rahman & Walter A. Carnielli - 2000 - Synthese 125 (1-2):201-232.
Information-seeking dialogues: Some of their logical properties. [REVIEW]Jaakko Hintikka & Esa Saarinen - 1979 - Studia Logica 38 (4):355 - 363.
Dialogues as a dynamic framework for logic.Helge Rückert - unknown
Modal tableaux for reasoning about diagrams.Luis Fariñas del Cerro & Olivier Gasquet - 2006 - Poznan Studies in the Philosophy of the Sciences and the Humanities 91 (1):169-184.
The Complexity of Analytic Tableaux.Noriko H. Arai, Toniann Pitassi & Alasdair Urquhart - 2006 - Journal of Symbolic Logic 71 (3):777 - 790.
Dual Tableaux: Foundations, Methodology, Case Studies.Ewa Orlowska & Joanna Golinska-Pilarek - 2011 - Springer.
Constrained Hyper Tableaux.Jan van Eijck - unknown
Free-variable tableaux for propositional modal logics.Bernhard Beckert & Rajeev GorÉ - 2001 - Studia Logica 69 (1):59-96.
Systematization of finite many-valued logics through the method of tableaux.Walter A. Carnielli - 1987 - Journal of Symbolic Logic 52 (2):473-493.
The Ground of Dialogical Bioethics.Abraham Rudnick - 2002 - Health Care Analysis 10 (4):391-402.
Modelling simultaneous games in dynamic logic.Johan van Benthem, Sujata Ghosh & Fenrong Liu - 2008 - Synthese 165 (2):247-268.
Modelling Simultaneous Games in Dynamic Logic.Johan Van Benthem, Sujata Ghosh & Fenrong Liu - 2008 - Synthese 165 (2):247 - 268.
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.

Analytics

Added to PP
2013-07-12

Downloads
58 (#264,822)

6 months
10 (#213,340)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Dialogical logic.Laurent Keiff - 2010 - Stanford Encyclopedia of Philosophy.
A Curious Dialogical Logic and its Composition Problem.Sara L. Uckelman, Jesse Alama & Aleks Knoks - 2014 - Journal of Philosophical Logic 43 (6):1065-1100.

View all 12 citations / Add more citations

References found in this work

First-order logic.Raymond Merrill Smullyan - 1968 - New York [etc.]: Springer Verlag.
Dialogspiele als Semantische Grundlage von Logikkalkülen.Kuno Lorenz - 1968 - Archive for Mathematical Logic 11 (1-2):32-55.
Dialogspiele als Semantische Grundlage von Logikkalkülen.Kuno Lorenz - 1968 - Archive for Mathematical Logic 11 (3-4):73-100.
Dialogues, strategies, and intuitionistic provability.Walter Felscher - 1985 - Annals of Pure and Applied Logic 28 (3):217-254.

View all 10 references / Add more references