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):
| ||||||||||||||
All documents in ORBilu are protected by a user license.