Agata Ciabattoni, Nicola Olivetti, Xavier Parent. Dyadic Obligations: Proofs and Countermodels via Hypersequents. In Reyhan Aydogan, Natalia Criado, Jérôme Lang, Víctor Sánchez-Anguix, Marc Serramia, editors, PRIMA 2022: Principles and Practice of Multi-Agent Systems - 24th International Conference, Valencia, Spain, November 16-18, 2022, Proceedings. Volume 13753 of Lecture Notes in Computer Science, pages 54-71, Springer, 2022. [doi]
@inproceedings{CiabattoniOP22,
title = {Dyadic Obligations: Proofs and Countermodels via Hypersequents},
author = {Agata Ciabattoni and Nicola Olivetti and Xavier Parent},
year = {2022},
doi = {10.1007/978-3-031-21203-1_4},
url = {https://doi.org/10.1007/978-3-031-21203-1_4},
researchr = {https://researchr.org/publication/CiabattoniOP22},
cites = {0},
citedby = {0},
pages = {54-71},
booktitle = {PRIMA 2022: Principles and Practice of Multi-Agent Systems - 24th International Conference, Valencia, Spain, November 16-18, 2022, Proceedings},
editor = {Reyhan Aydogan and Natalia Criado and Jérôme Lang and Víctor Sánchez-Anguix and Marc Serramia},
volume = {13753},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-031-21203-1},
}