Abstract
A possible world structure consist of a set W of possible worlds and an accessibility relation R. We take a partial function r(·,·) to the unit interval [0, 1] instead of R and obtain a Kripke frame with graded accessibility r Intuitively, r(x, y) can be regarded as the reliability factor of y from x We deal with multimodal logics corresponding to Kripke frames with graded accessibility in a fairly general setting. This setting provides us with a framework for fuzzy possible world semantics. The basic propositional multimodal logic gK (grated K) is defined syntactically. We prove that gK is sound and complete with respect to this semantics. We discuss some extensions of gK including logics of similarity relations and of fuzzy orderings. We present a modified filtration method and prove that gK and its extensions introduced here are decidable.
Similar content being viewed by others
References
Bull, R. A., and K. Segerberg, 1984, ‘F Guenthner (eds), Handbook of Philosophical Logic II, D. Riedel, 1–88
Cerrato, C., 1994, ‘Decidability by filtrations for graded normal logics (Graded modalities V)’, Studia Logica 53, 61–73.
Cilagrov, A., and M. Zakharyashchev, 1992, ‘Modal companions of intermediate propositional logics’, Studia Logica 51, 49–82
Chellas, B, F., 1980, Modal Logic: an Introduction, Cambridge University Press.
Fattorosi-Barnaba, M., and F.de Caro, 1985, ‘Graded modalities I’, Studia Logica 44, 197–221
Fattorosi-Barnaba, M., and G. Amati, 1987, ‘Modal operators with probabilistic interpretations’, Studia Logica 46, 383–393
Fine, K., 1972, ‘In so many possible worlds’, Notre Dame Journal of Formal Logic 13, 516–520.
Hughes, G. E., and M. J. Cresswell, 1968, An Introduction to Modal Logic, Methuen & Co. L
Lewis, D., 1973, Counterfactuals, Basil Blackwell Ltd.
Minari, P., M. Takano and H. Ono, 1990, ‘Intermediate predicate logics determined by ordinals’, Journal of Symbolic Logic 55,1099–1124
Nakamura, A, and J.-M. Gao, 1991, ‘On a logic for fuzzy data analysis’, Fuzzy Scts and Systems 39, 127–132
Nakamura, A, 1993, ‘On a logic based on graded modalities’, IEICE Transactions on Information and Systems, Vol LE76-D, 527–532.
Takano, M., 1987, ‘A negative answer to Ono's first problem’, Reports on Mathematical Logic 21, 69–71.
VAN DER HOEK, W., 1992, ‘Some considerations on the logics PFD — a logic combining modality and probability’, Lecture Notes in Computer Science 592, 474–485.
VAN DER HOEK, W., 1992, Modalities for reasoning about knowledge and quantities, PhD thesis, Free University of Amsterdam.
Zadeh, L. A., 1971, ‘Similarity relations and fuzzy orderings’, Information Science 3, 177–200.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Suzuki, NY. Kripke Frame with Graded Accessibility and Fuzzy Possible World Semantics. Studia Logica 59, 249–269 (1997). https://doi.org/10.1023/A:1004956418185
Issue Date:
DOI: https://doi.org/10.1023/A:1004956418185