The complexity of satisfiability in non-iterated and iterated probabilistic logics - Kokkinis, Ioannis (Annals of mathematics and artificial intelligence, 2018)
Keywords: Artificial Intelligence; Complex Systems; Complexity; Computer Science; Counterfeit; Counterfeiting; Language; Logic; Mathematics; Operators (mathematics); Probability; Statistical analysis; Probabilistic logic; Justification logic; 03B70; Computational complexity; Satisfiability