Parametrized Modal Logic II: The Unidimensional Case - Archive ouverte HAL Accéder directement au contenu
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)

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⟩
22 Consultations
19 Téléchargements

Altmetric

Partager

Gmail Mastodon Facebook X LinkedIn More