arXiv:1703.03391 Abstract | arXiv Analytics

Published 2017-03-09Version 1

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

Categories: math.LO, cs.LO

Keywords: first-order logic, incomplete information scenarios, related complexity issues

Related articles: Most relevant | Search more

arXiv:2208.11354 [math.LO] (Published 2022-08-24)

Non-distributive positive logic as a fragment of first-order logic over semilattices

Jim de Groot

arXiv:2207.07397 [math.LO] (Published 2022-07-15)

First-order logic with self-reference

arXiv:1404.4004 [math.LO] (Published 2014-04-15)

One-dimensional fragment of first-order logic