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.
Le portail HAL-CNRS accueille l'ensemble de laproduction scientifique du CNRS |
Documentation IRIT : Connectez-vous pour contacter le contributeur
https://hal.science/hal-03999372
Soumis le : mardi 21 février 2023-16:18:12
Dernière modification le : lundi 20 novembre 2023-11:44:23