karl bühler digital

Home > Zeitschrift > Journal Issue > Journal article

Publication details

Jahr: 2011

Pages: 253-269

Reihe: Synthese

Volle Referenz:

Dov M. Gabbay, "Reactive intuitionistic tableaux", Synthese 179 (2), 2011, pp. 253-269.

Abstrakt

We introduce reactive Kripke models for intuitionistic logic and show that the reactive semantics is stronger than the ordinary semantics. We develop Beth tableaux for the reactive semantics.

Publication details

Jahr: 2011

Pages: 253-269

Reihe: Synthese

Volle Referenz:

Dov M. Gabbay, "Reactive intuitionistic tableaux", Synthese 179 (2), 2011, pp. 253-269.