Repository | Journal | Volume | Articles

COPR BookmarkLink
236008

(2011) Synthese 179 (2).

Reactive intuitionistic tableaux

Dov M. Gabbay

pp. 253-269

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

DOI: 10.1007/s11229-010-9781-8

Full citation:

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

This document is unfortunately not available for download at the moment.