Modal Logics of Reactive Frames

Reference : Modal Logics of Reactive Frames


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

Title :	Modal Logics of Reactive Frames
Language :	English
Author, co-author :	Gabbay, Dov M. [King’s College London, Department of Computer Science, London, UK]
	Marcelino, Sergio [> >]
Publication date :	2009
Journal title :	Studia Logica
Publisher :	Springer
Peer reviewed :	Yes
ISSN :	0039-3215
e-ISSN :	1572-8730
City :	Berlin
Country :	Germany
Abstract :	[en] A reactive graph generalizes the concept of a graph by making it dynamic, in the sense that the arrows coming out from a point depend on how we got there. This idea was fi rst applied to Kripke semantics of modal logic in [2]. In this paper we strengthen that unimodal language by adding a second operator. One op- erator corresponds to the dynamics relation and the other one relates paths with the same endpoint. We explore the expressivity of this interpretation by axiomatizing some natural subclasses of reactive frames. The main objective of this paper is to present a methodology to study reactive logics using the existent classic techniques.
Permalink :	http://hdl.handle.net/10993/15883

File(s) associated to this reference

Fulltext file(s):

	File	Commentary	Version	Size	Access
Open access	09-mg-reactfr.pdf		Publisher postprint	405.89 kB	View/Open

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