Propositional and predicate logics of incomplete information

Marco Console, Paolo Guagliardo, Leonid Libkin. Propositional and predicate logics of incomplete information. Artificial Intelligence, 302:103603, 2022. [doi]

Abstract

Abstract is missing.