Gts and interrogative tableaux
Synthese 99 (3):329 - 343 (1994)
| 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. | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | No categories specified (fix it) | |||||||||
| Options |
|
|||||||||
| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,701 |
| External links |
|
| Through your library | Configure |
Drew A. Hyland (2003). “It's a Good Day to Die”. Epoché 7 (2):291-308.
Paweł Łupkowski & Andrzej Wiśniewski (2011). Turing Interrogative Games. Minds and Machines 21 (3):435-448.
Michael A. McRobbie & Nuel D. Belnap (1979). Relevant Analytic Tableaux. Studia Logica 38 (2):187 - 200.
Raymond Dacey (1981). An Interrogative Account of the Dialectical Inquiring System Based Upon the Economic Theory of Information. Synthese 47 (1):43 - 55.
Sebastian Enqvist (2009). Interrogative Belief Revision in Modal Logic. Journal of Philosophical Logic 38 (5):527 - 548.
Eric C. Brook (2007). The Interrogative Model: Historical Inquiry and Explanation. Journal of the Philosophy of History 1 (2):137-159.
Emmanuel J. Genot (2009). The Game of Inquiry: The Interrogative Approach to Inquiry and Belief Revision Theory. Synthese 171 (2).
Jaakko Hintikka & Stephen Harris (1988). On the Logic of Interrogative Inquiry. PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association 1988:233 - 240.
Monthly downloads |
Added to index2009-01-28Total downloads5 ( #160,428 of 549,128 )Recent downloads (6 months)1 ( #63,361 of 549,128 )How can I increase my downloads? |

