Reference : Global view on reactivity: switch graphs and their logics
Scientific journals : Article
Engineering, computing & technology : Computer science
Global view on reactivity: switch graphs and their logics
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 [> >]
Annals of Mathematics & Artificial Intelligence
Yes (verified by ORBilu)
[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.

File(s) associated to this reference

Fulltext file(s):

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.