by Xavier Parent, Leendert van der Torre
Reference:
- Input/Output logics with a consistency check (Xavier Parent, Leendert van der Torre), In Proceedings of the 14th International Conference on Deontic Logic and Normative Systems (DEON2018), 2018.
Bibtex Entry:
@InProceedings{pub77,
Title = {- Input/Output logics with a consistency check},
Author = {Xavier Parent and Leendert van der Torre},
Booktitle = {Proceedings of the 14th International Conference on Deontic Logic and Normative Systems (DEON2018)},
Year = {2018},
Url = {}
}