Reactive intuitionistic tableaux
pp. 253-269
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.
Publication details
Published in:
van Benthem Johan, Kuipers Theo A., Visser Henk (2011) Logic and philosophy of science in the footsteps of E. W. Beth. Synthese 179 (2).
Pages: 253-269
DOI: 10.1007/s11229-010-9781-8
Full citation:
Gabbay Dov M. (2011) „Reactive intuitionistic tableaux“. Synthese 179 (2), 253–269.