zbMATH — the first resource for mathematics

A note on modal logic and possibility theory. (English) Zbl 1354.03025
Summary: There are two theories in which the concept of possibility plays an important role – modal logic and possibility theory. The roles are different, and so are the agendas of modal logic and possibility theory. To gain an insight into the differences, a very simple model of modal logic is constructed. The model has the structure of a finite-state system, referred to as the FS-model. The FS-model may be viewed as a simple interpretation of Kripke model – an interpretation which is easy to understand. The FS-model is in the spirit of graph models of modal logic. The FS-model readily lends itself to generalization. Concrete versions of the FS-model serve as examples.

03B45 Modal logic (including the logic of norms)
68T37 Reasoning under uncertainty in the context of artificial intelligence
Full Text: DOI
[1] Allwein, Gerard; Michael Dunn, J., Kripke models for linear logic, J. Symb. Log., 58, 2, 514-545, (1993) · Zbl 0795.03013
[2] Cresswell, M. J.; Hughes, G. E., A new introduction to modal logic, (1996), Routledge New York · Zbl 0855.03002
[3] A.A. Dodó, J. Marcos, Fuzzy modal logics of confluence, in: L.C. Barros, B.R.C. Bedregal, J. Marcos, J.A.F. Roveda, R.H.N. Santiago, W. Seixas, (Eds.), Recentes Avanços em Sistemas Fuzzy, SBMAC, 2012, pp. 328-337.
[4] Dubois, D.; Prade, H., Possibility theory, (1988), Plenum Press New-York · Zbl 0645.68108
[5] Hájek, P.; Harmancova, D.; Esteva, F.; García, P.; Godo, L., On modal logics for qualitative possibility in a fuzzy setting, (López de Mántaras, R.; Poole, D., Uncertainty in Artificial Intelligence, (1994), Morgan Kaufmann Publishers San Francisco, USA), 278-285
[6] Mironov, A., Fuzzy modal logics, J. Math. Sci., 128, 6, 3461-3483, (2005)
[7] Sowa, J., Worlds, models, and descriptions, studia logica, Spec. Issue Ways Worlds II, 84, 2, 323-360, (2006) · Zbl 1115.03012
[8] Zadeh, L. A., Fuzzy sets as a basis for a theory of possibility, Fuzzy Sets Syst., 1, 3-28, (1978) · Zbl 0377.04002
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.