Duality and Completeness for US-Logics.

Fabio Bellissima Saverio Cittadini

Published in: Notre Dame J. Formal Log. (1998)

Keyphrases

linear programming
expressive power
modal logic
order sorted
inference rules
conditional logic
machine learning
data quality
propositional dynamic logic
nonmonotonic logics
propositional calculus
real world
artificial intelligence
dynamic programming
duality gap