Gts and interrogative tableaux

Synthese 99 (3):329 - 343 (1994)
  Copy   BIBTEX

Abstract

A variant of the standard deductive tableau system is introduced, and interrogative rules are added, resulting in a so-called interrogative tableau system. A game-theoretical account of entailment is sketched, and the deductive tableau system is interpreted in these terms. Finally, it is shown how to extend this account of entailment into an account of interrogative entailment, thereby providing a semantics for the interrogative tableau system.

Categories

Keywords

Reprint years

DOI

10.1007/bf01063992

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,551

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

An Interrogative Model of Inquiry.Stephen Raymond Harris - 1990 - Dissertation, The Florida State University
A dynamic logic of interrogative inquiry.Yacin Hamami - 2015 - In Can Başkent (ed.), Perspectives on Interrogative Models of Inquiry: Developments in Inquiry and Questions. Cham, Switzerland: Springer. pp. 129-161.
An interrogative account of the dialectical inquiring system based upon the economic theory of information.Raymond Dacey - 1981 - Synthese 47 (1):43 - 55.
Analytic Tableaux for all of SIXTEEN 3.Stefan Wintein & Reinhard Muskens - 2015 - Journal of Philosophical Logic 44 (5):473-487.
The game of inquiry: the interrogative approach to inquiry and belief revision theory.Emmanuel J. Genot - 2009 - Synthese 171 (2):271-289.
Free Semantics.Ross Thomas Brady - 2010 - Journal of Philosophical Logic 39 (5):511 - 529.
An Axiomatic System and a Tableau Calculus for STIT Imagination Logic.Grigory K. Olkhovikov & Heinrich Wansing - 2018 - Journal of Philosophical Logic 47 (2):259-279.
Relevant analytic tableaux.Michael A. McRobbie & Nuel D. Belnap - 1979 - Studia Logica 38 (2):187 - 200.
On the Logic of Interrogative Inquiry.Jaakko Hintikka & Stephen Harris - 1988 - PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association 1988:233-240.

Analytics

Added to PP
2009-01-28

Downloads
56 (#386,330)

6 months
7 (#722,178)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Abductive belief revision in science.Gerhard Schurz - 2011 - In Erik J. Olson Sebastian Enqvist (ed.), Belief Revision meets Philosophy of Science. Springer. pp. 77--104.
AGM Theory and Artificial Intelligence.Raúl Carnota & Ricardo Rodríguez - 2011 - In Erik J. Olson Sebastian Enqvist (ed.), Belief Revision meets Philosophy of Science. Springer. pp. 1--42.

View all 17 citations / Add more citations

References found in this work

First-order logic.Raymond Merrill Smullyan - 1968 - New York [etc.]: Springer Verlag.
Game-Theoretical Semantics.Esa Saarinen - 1977 - The Monist 60 (3):406-418.
Game-Theoretical Semantics.Esa Saarinen - 1980 - British Journal for the Philosophy of Science 31 (3):301-307.

View all 7 references / Add more references