Reactive intuitionistic tableaux

Reference : Reactive intuitionistic tableaux


	Document type :	Scientific journals : Article
	Discipline(s) :	Engineering, computing & technology : Computer science
	To cite this reference:	http://hdl.handle.net/10993/15859

Title :	Reactive intuitionistic tableaux
Language :	English
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]
Publication date :	2011
Journal title :	Synthese
Publisher :	Kluwer Academic Publishers
Volume :	179
Issue/season :	2
Pages :	253–269
Peer reviewed :	Yes
ISSN :	0039-7857
City :	Dordrecht
Country :	The Netherlands
Keywords :	[en] Intuitionistic logic ; Reactive Kripke models ; Beth tableaux
Abstract :	[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
Permalink :	http://hdl.handle.net/10993/15859
DOI :	10.1007/s11229-010-9781-8

File(s) associated to this reference

Fulltext file(s):

	File	Commentary	Version	Size	Access
Open access	art%3A10.1007%2Fs11229-010-9781-8.pdf		Publisher postprint	400.01 kB	View/Open

All documents in ORBi^lu are protected by a user license.