On Modal Logics for Qualitative Possibility in a Fuzzy Setting

Petr Hájek, Dagmar Harmancová, Francesc Esteva, Pere Garcia, Lluís Godo

UAI 1994 pp. 278-285

doi:10.1016/B978-1-55860-332-5.50040-7 /uai/1994/hajek1994uai-modal/

Abstract

Within the possibilistic approach to uncertainty modeling, the paper presents a modal logical system to reason about qualitative (comparative) statements of the possibility (and necessity) of fuzzy propositions. We relate this qualitative modal logic to the many-valued analogues MVS5 and MVKD45 of the well known modal logics of knowledge and belief S5 and KD45 respectively. Completeness results are obtained for such logics and therefore, they extend previous existing results for qualitative possibilistic logics in the classical non-fuzzy setting.

PDF UAI Semantic Scholar

Cite

Text

Hájek et al. "On Modal Logics for Qualitative Possibility in a Fuzzy Setting." Conference on Uncertainty in Artificial Intelligence, 1994. doi:10.1016/B978-1-55860-332-5.50040-7

Markdown

[Hájek et al. "On Modal Logics for Qualitative Possibility in a Fuzzy Setting." Conference on Uncertainty in Artificial Intelligence, 1994.](https://mlanthology.org/uai/1994/hajek1994uai-modal/) doi:10.1016/B978-1-55860-332-5.50040-7

BibTeX

@inproceedings{hajek1994uai-modal,
  title     = {{On Modal Logics for Qualitative Possibility in a Fuzzy Setting}},
  author    = {Hájek, Petr and Harmancová, Dagmar and Esteva, Francesc and Garcia, Pere and Godo, Lluís},
  booktitle = {Conference on Uncertainty in Artificial Intelligence},
  year      = {1994},
  pages     = {278-285},
  doi       = {10.1016/B978-1-55860-332-5.50040-7},
  url       = {https://mlanthology.org/uai/1994/hajek1994uai-modal/}
}