First-order logic with incomplete information
classification
🧮 math.LO
cs.LO
keywords
first-orderincompleteinformationlogiccomplexityconsiderdevelopextensions
read the original abstract
We develop first-order logic and some extensions for incomplete information scenarios and consider related complexity issues.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.