[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 :
Computer science
Identifiers :
UNILU:UL-ARTICLE-2011-504
Author, co-author :
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