First-order logic with incomplete information

Published 9 Mar 2017 in math.LO and cs.LO | (1703.03391v14)

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

Authors (1)

Citations (1)

No one has generated a summary of this paper yet.

No one has generated a video about this paper yet.

No one has generated a whiteboard explanation for this paper yet.

We haven't generated a list of open problems mentioned in this paper yet.

We haven't generated follow-up questions for this paper yet.