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.

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)
Licence

Dates et versions

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

Licence

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⟩
93 Consultations
292 Téléchargements

Altmetric

Partager

  • More