On the development of reactive systems
Logics and models of concurrent systems
Logic in computer science: modelling and reasoning about systems
Logic in computer science: modelling and reasoning about systems
Modal logic
A Road-Map on Complexity for Hybrid Logics
CSL '99 Proceedings of the 13th International Workshop and 8th Annual Conference of the EACSL on Computer Science Logic
IJCAR '01 Proceedings of the First International Joint Conference on Automated Reasoning
Handbook of Modal Logic, Volume 3 (Studies in Logic and Practical Reasoning)
Handbook of Modal Logic, Volume 3 (Studies in Logic and Practical Reasoning)
Reactive Kripke Models and Contrary to Duty Obligations
DEON '08 Proceedings of the 9th international conference on Deontic Logic in Computer Science
Reasoning about preferences in argumentation frameworks
Artificial Intelligence
A Theory of Hierarchical Consequence and Conditionals
Journal of Logic, Language and Information
Introducing reactive Kripke semantics and arc accessibility
Pillars of computer science
Modal and temporal argumentation networks
Time for verification
Information and Computation
Basic model theory for memory logics
WoLLIC'11 Proceedings of the 18th international conference on Logic, language, information and computation
| Hi-index | 0.00 |
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.