activity
20172020
most citedAssuring and critical labels for relations between maximal consistent sets for interpretability logics

2 citations · 3 across the 3 of their papers we have counts for

collaborators
Showing 2017Show all

1 paper · 1 filter

math.LO2017

Complexity of the interpretability logic IL

Luka Mikec, Fedor Pakhomov, Mladen Vuković

We show that the decision problem for the basic system of interpretability logic IL is PSPACE-complete. For this purpose we present an algorithm which uses polynomial space with re…