Logics with Generalized Measure Operators
Nebojsa Ikodinovic, Miodrag Raskovic, Zoran Markovic and Zoran Ognjanovic
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.
Keywords: Classical propositional logic, uncertainty, measure, completeness theorem.