Towards a Semantics for Infinitary Equational Hybrid Logic

Citation:
Martins M, Madeira A, Barbosa LS.  2012.  Towards a Semantics for Infinitary Equational Hybrid Logic. Advances in Modal Logic - AiML.

Date Presented:

August

Abstract:

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.

Citation Key:

1517
PreviewAttachmentSize
aiml12_tiehl.pdf85.95 KB