2 citations · 3 across the 2 of their papers we have counts for
Showing 2017Show all
2 papers · 1 filter
cs.LO2017★ 2 cited
The Complexity of Satisfiability in Non-Iterated and Iterated Probabilistic Logics
Ioannis Kokkinis
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…
cs.LO2017★ 1 cited
The Complexity of Probabilistic Justification Logic
Ioannis Kokkinis
Probabilistic justification logic is a modal logic with two kind of modalities: probability measures and explicit justification terms. We present a tableau procedure that can be us…