Reference : Reactive intuitionistic tableaux
Scientific journals : Article
Engineering, computing & technology : Computer science
http://hdl.handle.net/10993/15859
Reactive intuitionistic tableaux
English
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]
2011
Synthese
Kluwer Academic Publishers
179
2
253–269
Yes
0039-7857
Dordrecht
The Netherlands
[en] Intuitionistic logic ; Reactive Kripke models ; Beth tableaux
[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
http://hdl.handle.net/10993/15859
10.1007/s11229-010-9781-8

File(s) associated to this reference

Fulltext file(s):

FileCommentaryVersionSizeAccess
Open access
art%3A10.1007%2Fs11229-010-9781-8.pdfPublisher postprint400.01 kBView/Open

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.