Algebraic Semantics of Refinement Modal Logic

Zeinab Bakhtiari (1) , Hans van Ditmarsch (1) , Sabine Frittella (2)

1 CELLO - Computational Epistemic Logic in LOrraine
2 TU Delft - Delft University of Technology

In the present paper we develop algebraic semantics of refinement modal logic using duality theory. Refinement modal logic has been introduced by Bozzelli et al.[7]. A Refinement is like a bisimulation, except that from the three relational requirements only 'atoms' and 'back' have to be satisfied. We study the dual notion of refinement on algebras and present algebraic semantics of refinement modal logic. For this end, we proceed as follows: (1) we present the algebraic semantics of action model logic quantifier, (2) we introduce an algebraic model based on semantics of refinement quantifier in terms of refinement relation. Then we show that refinement modal logic is sound and complete with respect to the algebraic semantics introduced.

Mots clés: Refinement modal logic; arbitrary action model logic; dynamic epistemic logic; algebraic semantics

Domaines: Logique en informatique [cs.LO]

Zeinab Bakhtiari, Hans van Ditmarsch, Sabine Frittella. Algebraic Semantics of Refinement Modal Logic. Advances in Modal Logic, Aug 2016, Budapest, Hungary. ⟨hal-01301276⟩