Marchioni, E. Representing upper probability measures over rational Łukasiewicz logic. (English) Zbl 1163.03015 Mathware Soft Comput. 15, No. 2, 159-173 (2008). The author extends rational Łukasiewicz logic by adding modal operators to express the upper probability of formulas. The resulting logic is shown to be complete with respect to a class of Kripke structures equipped with an upper probability measure. The set of satisfiable formulas is shown to be NP-complete. Reviewer: Daniele Mundici (Firenze) Cited in 1 Document MSC: 03B50 Many-valued logic 03B45 Modal logic (including the logic of norms) 06D35 MV-algebras 68Q17 Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) Keywords:upper probability measure; rational Łukasiewicz logic; modal operator PDFBibTeX XMLCite \textit{E. Marchioni}, Mathware Soft Comput. 15, No. 2, 159--173 (2008; Zbl 1163.03015) Full Text: EuDML