Repository | Journal | Volume | Article
Gts and interrogative tableaux
pp. 329-343
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.
Publication details
Published in:
(1994) Synthese 99 (3).
Pages: 329-343
DOI: 10.1007/BF01063992
Full citation:
Harris Stephen (1994) „Gts and interrogative tableaux“. Synthese 99 (3), 329–343.