Parametrized Modal Logic II: The Unidimensional Case - Archive ouverte HAL
Communication Dans Un Congrès Année : 2023

Parametrized Modal Logic II: The Unidimensional Case

Résumé

We consider a syntax and semantics of modal logics based on parametrized modal connectives with ∃∀-satisfaction definitions, we axiomatically introduce different parametrized modal logics, we prove their completeness AQ1 with respect to appropriate classes of parametrized relational structures and we show the decidability of some related satisfiability problems.

Domaines

Logique en informatique [cs.LO]
Fichier principal
Vignette du fichier
529382_1_Balbiani_BIS.pdf (395.11 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Philippe Balbiani  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-04198590

Soumis le : jeudi 7 septembre 2023-10:53:32

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

Archivage à long terme le : vendredi 8 décembre 2023-18:29:34

Télécharger pour visualiser

Dates et versions

hal-04198590 , version 1 (07-09-2023)

Identifiants

Citer

Philippe Balbiani. Parametrized Modal Logic II: The Unidimensional Case. 4th International Workshop on Dynamic Logic. New Trends and Applications (DaLí 2022), 2022, Haïfa, Israel. pp.17 - 36, ⟨10.1007/978-3-031-26622-5_2⟩. ⟨hal-04198590⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

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

Altmetric

Partager

More