We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:


Current browse context:


Change to browse by:

References & Citations

DBLP - CS Bibliography


(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Computer Science > Logic in Computer Science

Title: The Complexity of Satisfiability in Non-Iterated and Iterated Probabilistic Logics

Abstract: Let L be some extension of classical propositional logic. The non-iterated probabilistic logic over L, is the logic PL that is defined by adding non-nested probabilistic operators in the language of L. For example in PL we can express a statement like "the probability of truthfulness of A is at 0.3" where A is a formula of L. The iterated probabilistic logic over L is the logic PPL, where the probabilistic operators may be iterated (nested). For example, in PPL we can express a statement like "this coin is counterfeit with probability 0.6". In this paper we investigate the influence of probabilistic operators in the complexity of satisfiability in PL and PPL. We obtain complexity bounds, for the aforementioned satisfiability problem, which are parameterized in the complexity of satisfiability of conjunctions of positive and negative formulas that have neither a probabilistic nor a classical operator as a top-connective. As an application of our results we obtain tight complexity bounds for the satisfiability problem in PL and PPL when L is classical propositional logic or justification logic.
Subjects: Logic in Computer Science (cs.LO); Computational Complexity (cs.CC)
Journal reference: Annals of Mathematics and Artificial Intelligence, August 2018, Volume 83, Issue 3-4, pp 351-382
DOI: 10.1007/s10472-018-9593-y
Cite as: arXiv:1712.00810 [cs.LO]
  (or arXiv:1712.00810v3 [cs.LO] for this version)

Submission history

From: Ioannis Kokkinis [view email]
[v1] Sun, 3 Dec 2017 18:34:24 GMT (31kb)
[v2] Mon, 2 Jul 2018 08:05:28 GMT (35kb)
[v3] Sun, 10 Feb 2019 12:00:01 GMT (35kb)

Link back to: arXiv, form interface, contact.