Complexity function and complexity of validity of modal and superintuitionistic propositional logics.

Mikhail N. Rybakov Dmitry Shkatov

Published in: J. Log. Comput. (2023)

Keyphrases

computational complexity
computational cost
modal logic
polynomial hierarchy
real time
learning algorithm
worst case
multi valued
approximation error