%0 Conference Paper
%B Advances in Modal Logic - AiML
%D 2012
%T Towards a Semantics for Infinitary Equational Hybrid Logic
%A M. Martins
%A Alexandre Madeira
%A Luis Soares Barbosa
%C Copenhagen, Denmark
%X <p>This work-in-progress paper reports some introductory steps towards a theory of infinitary equational hybrid logic. This logic seems appropriate to express properties of reconfigurable agent systems that behave differently in different modes of operation. Its semantics is obtained by endowing worlds in standard Kripke frames with algebras, each of them modelling a local configuration. The paper introduces a number of preliminary results on this semantics, including a discussion of a suitable notion of bisimulation by generalizing standard invariance results to this broad setting.</p>
%8 August
%> https://haslab.uminho.pt/sites/default/files/madeira/files/aiml12_tiehl.pdf