[en] 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
Disciplines :
Sciences informatiques
Identifiants :
UNILU:UL-ARTICLE-2011-504
Auteur, co-auteur :
GABBAY, Dov M. ; University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC) ; King’s College London, Department of Computer Science, London, UK ; Bar-Ilan University, Ramat-Gan, Israel
