First-order logic with incomplete information

Abstract

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