×

zbMATH — the first resource for mathematics

Logics with generalized measure operators. (English) Zbl 1393.03014
Summary: In this paper we investigate logics which are suitable for reasoning about uncertainty in different situations. A possible-world approach is used to provide semantics to formulas. Axiomatic systems for our logics are given and the corresponding strong completeness theorems are proved. Relationships to other systems are discussed.
MSC:
03B52 Fuzzy logic; logic of vagueness
03B60 Other nonclassical logic
68T27 Logic in artificial intelligence
68T37 Reasoning under uncertainty in the context of artificial intelligence
PDF BibTeX XML Cite
Full Text: Link