Reactive intuitionistic tableaux

Dov M. Gabbay

pp. 253-269

in: Johan van Benthem, Theo A. Kuipers, Henk Visser (eds), Logic and philosophy of science in the footsteps of E. W. Beth, Synthese 179 (2), 2011.

Abstract

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.