×

Representing upper probability measures over rational Łukasiewicz logic. (English) Zbl 1163.03015

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.

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.)
PDFBibTeX XMLCite
Full Text: EuDML