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