About the complete axiomatization of dynamic extensions of arrow logic

Philippe Balbiani (1, 2)

1 IRIT-LILaC - Logique, Interaction, Langue et Calcul
2 CNRS - Centre National de la Recherche Scientifique

This paper is devoted to the proof of the completeness of deductive systems for dynamic extensions of arrow logic. These extensions are based on the relational constructs of composition and intersection. The proof of the completeness of our deductive systems uses the canonical model construction and the subordination model construction.

Mots clés: Information logics; Arrow logics; Dynamic logics; Axiomatization and Completeness

Domaines: Logique en informatique [cs.LO]

Philippe Balbiani. About the complete axiomatization of dynamic extensions of arrow logic. Golinska-Pilarek, Joanna; Zawidzki, Michal. Ewa Orlowska: on Relational Methods in Logic and Computer Science, 17, Springer, pp.315--330, 2018, Outstanding Contributions to Logic book series, 978-3319978789. ⟨10.1007/978-3-319-97879-6_12⟩. ⟨hal-03044238⟩