Reference : Global view on reactivity: switch graphs and their logics
Scientific journals : Article
Engineering, computing & technology : Computer science
http://hdl.handle.net/10993/15852
Global view on reactivity: switch graphs and their logics
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, London, UK > Department of Computer Science > > ; Bar-Ilan University, Ramat-Gan, Israel]
Marcelino, Sergio [> >]
2012
Annals of Mathematics & Artificial Intelligence
Springer
66
1-4
131-162
Yes (verified by ORBilu)
1012-2443
[en] The notion of reactive graph generalises the one of graph by allowing the
base accessibility relation to change when its edges are traversed. Can we represent these more general structures using points and arrows? We prove this can be done
by introducing higher order arrows: the switches.
The possibility of expressing the dependency of the future states of the accessibility relation on individual transitions by the use of higher-order relations,
that is, coding meta-relational concepts by means of relations, strongly suggests the use of
modal languages to reason directly about these structures. We introduce a hybrid
modal logic for this purpose and prove its completeness.
http://hdl.handle.net/10993/15852

File(s) associated to this reference

Fulltext file(s):

FileCommentaryVersionSizeAccess
Open access
10-MG-swithfr.pdfPublisher postprint304.7 kBView/Open

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.