- Input/Output logics with a consistency check (bibtex)
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                      = {}
}