Dyadic obligations: proofs and countermodels via hypersequents.

Agata Ciabattoni Nicola Olivetti Xavier Parent

Published in: CoRR (2024)

Keyphrases

deontic logic
theorem proving
equational theories
agent architecture
natural deduction
formal proofs
formal proof
multi agent systems
data sets
theorem prover
artificial neural networks
special case
preprocessing
computational complexity
search algorithm
cooperative
multimedia
computer vision
machine learning