(1994) Synthese 99 (3).
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
DOI: 10.1007/BF01063992
Full citation:
Harris, S. (1994). Gts and interrogative tableaux. Synthese 99 (3), pp. 329-343.
This document is unfortunately not available for download at the moment.