Mīmā\d{m}sā deontic logic: proof theory and applications.

Agata Ciabattoni Elisa Freschi Francesco A. Genco Björn Lellmann

Published in: CoRR (2017)

Keyphrases

deontic logic
proof theory
default reasoning
legal reasoning
automated reasoning
proof theoretic
inference rules
nonmonotonic logics
reasoning problems
belief revision
theorem proving
nonmonotonic reasoning
graphical models
probabilistic inference
probabilistic reasoning
formal semantics