First-order logic with incomplete information
Abstract
We develop first-order logic and some extensions for incomplete information scenarios and consider related complexity issues.
- Publication:
-
arXiv e-prints
- Pub Date:
- March 2017
- DOI:
- 10.48550/arXiv.1703.03391
- arXiv:
- arXiv:1703.03391
- Bibcode:
- 2017arXiv170303391K
- Keywords:
-
- Mathematics - Logic;
- Computer Science - Logic in Computer Science