<?xml version="1.0" encoding="UTF-8"?><xml><records><record><source-app name="Biblio" version="6.x">Drupal-Biblio</source-app><ref-type>47</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">M. Martins</style></author><author><style face="normal" font="default" size="100%">Alexandre Madeira</style></author><author><style face="normal" font="default" size="100%">Luis Soares Barbosa</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Towards a Semantics for Infinitary Equational Hybrid Logic</style></title><secondary-title><style face="normal" font="default" size="100%"> Advances in Modal Logic - AiML</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2012</style></year><pub-dates><date><style  face="normal" font="default" size="100%">August</style></date></pub-dates></dates><urls><related-urls><url><style face="normal" font="default" size="100%">https://haslab.uminho.pt/sites/default/files/madeira/files/aiml12_tiehl.pdf</style></url></related-urls></urls><pub-location><style face="normal" font="default" size="100%">Copenhagen, Denmark</style></pub-location><abstract><style face="normal" font="default" size="100%">&lt;p&gt;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.&lt;/p&gt;
</style></abstract></record></records></xml>