Ikodinović, Nebojša; Rašković, Miodrag; Marković, Zoran; Ognjanović, Zoran Logics with generalized measure operators. (English) Zbl 1393.03014 J. Mult.-Val. Log. Soft Comput. 20, No. 5-6, 527-555 (2013). 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 Keywords:classical propositional logic; uncertainty; measure; completeness theorem PDF BibTeX XML Cite \textit{N. Ikodinović} et al., J. Mult.-Val. Log. Soft Comput. 20, No. 5--6, 527--555 (2013; Zbl 1393.03014) Full Text: Link