Boolean Logics with Relations (RelMiCS 2008) - CNRS - Centre national de la recherche scientifique Accéder directement au contenu
Communication Dans Un Congrès Année : 2008

Boolean Logics with Relations (RelMiCS 2008)

Résumé

We study a fragment of propositional modal logics using the universal modality given by a restriction on the modal depth of modal formulas.

Dates et versions

hal-03999372 , version 1 (21-02-2023)

Identifiants

Citer

Philippe Balbiani, Tinko Tinchev. Boolean Logics with Relations (RelMiCS 2008). 10th International Conference on Relational Methods in Computer Science (RelMiCS 2008), Apr 2008, Frauenwörth, Germany. pp.4-21, ⟨10.1007/978-3-540-78913-0_3⟩. ⟨hal-03999372⟩
39 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More