出版社：Japan Society for Fuzzy Theory and Intelligent Informatics
摘要：A class of polymodal logic is considered : a Kripke model and an axiomatic system are described and a theorem of completeness is mentioned. Application to a class of systems with uncertainty including risky situations is discussed. Correspondence of components of polymodal logic to the system elements is described. Simple illustrative examples are shown.
