The pragmatic oddity in norm-based deontic logics.

Xavier Parent Leendert W. N. van der Torre

Published in: ICAIL (2017)

Keyphrases

classical logic
modal logic
deontic logic
expressive power
nonmonotonic logics
logic programming
inference rules
representation language
propositional calculus
mixed norm
temporal logic
valued logic
truth values
regularized least squares
genetic algorithm
propositional dynamic logic
order sorted