paper

First-order logic with incomplete information

arXiv:1703.03391

Abstract

We develop first-order logic and some extensions for incomplete information scenarios and consider related complexity issues.

Cited by in corpus (1)