About the complete axiomatization of dynamic extensions of arrow logic - Archive ouverte HAL
Chapitre D'ouvrage Année : 2018

About the complete axiomatization of dynamic extensions of arrow logic

Résumé

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.

Domaines

Logique en informatique [cs.LO]

Documentation IRIT  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-03044238

Soumis le : lundi 7 décembre 2020-17:07:20

Dernière modification le : lundi 20 novembre 2023-11:44:23

Fichier non déposé

Dates et versions

hal-03044238 , version 1 (07-12-2020)

Identifiants

Citer

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⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-TLSE2 CNRS UT1-CAPITOLE IRIT IRIT-LILAC IRIT-IA TOULOUSE-INP UNIV-UT3 UT3-TOULOUSEINP
29 Consultations
0 Téléchargements

Altmetric

Partager

More