The Expressive Power of Swap Logic

ESSLLI 2012 Student Session, A student session of the 24th European Summer School in Logic, Language and Information (ESSLLI 2012)

计算机科学;信息科学

Raul Fervari

Others  :  http://ceur-ws.org/Vol-954/paper3.pdf
PID  :  29424

学科分类：计算机科学（综合）

来源: CEUR

【 摘 要 】

Modal logics are appropriate to describe properties of graphs.But usually these are static properties. We investigate dynamic modal operators that can change the model during evaluation. We define the logic SL by extending the basic modal language with the ✸ modality, which is a diamond operator that has the ability to invert pairs of re- lated elements in the domain while traversing an edge of the accessibility relation. We will investigate the expressive power of SL, define a suitable notion of bisimulation and compare SL with other dynamic logics.