Action negation and alternative reductions for dynamic deontic logics.

Jan M. Broersen

Published in: J. Appl. Log. (2004)

Keyphrases

expressive power
case study
classical logic
neural network
modal logic
deontic logic
genetic algorithm
website
dynamic environments
deductive databases
dynamic logic