Communities of Dialogue Russian and Ukrainian Émigrés in Modernist Prague

Repository | Journal | Volume | Article

237995

Gts and interrogative tableaux

Stephen Harris

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.