Determinate logic and the Axiom of Choice.

Juan P. Aguilera

Published in: Ann. Pure Appl. Log. (2020)

Keyphrases

modal logic
horn clauses
classical logic
temporal logic
search algorithm

inference rules
nonmonotonic logics
databases
decision making

epistemic logic
predicate logic
computational properties
sound and complete axiomatization

database
probabilistic logic
multi valued
machine learning