Modal logics with a restricted universal modality - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2019

Modal logics with a restricted universal modality

Résumé

In this study we give syntax, semantics and axiomatization for a family of modal logics with restricted form of universal modality. The language of these family of modal logics allows the expression of Boolean combinations of formulas of the form ∃φ where φ is a formula of the ordinary language of modal logic and ∃ is the universal diamond. By means of a tableaux-based approach, we provide decision procedures for their satisfiability problem.
Fichier principal
Vignette du fichier
TbiLLC.pdf (148.96 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-02411265 , version 1 (14-12-2019)

Identifiants

  • HAL Id : hal-02411265 , version 1

Citer

Philippe Balbiani, Cigdem Gencer, Zafer Özdemir. Modal logics with a restricted universal modality. 13th International Tbilisi Symposium on Language, Logic and Computation (TbiLLC 2019), Centre for Language, Logic and Speech at the Tbilisi State University; Georgian Academy of Sciences; Institute for Logic, Language and Computation (ILLC) of the University of Amsterdam; Collaborative Research Center 991 of the University of Düsseldorf, Sep 2019, Batoumi, Georgia. ⟨hal-02411265⟩
81 Consultations
54 Téléchargements

Partager

Gmail Mastodon Facebook X LinkedIn More