Lyon and van Berkel. "Proof Theory and Decision Procedures for Deontic STIT Logics." Journal of Artificial Intelligence Research, 2024. doi:10.1613/JAIR.1.15710
Markdown
[Lyon and van Berkel. "Proof Theory and Decision Procedures for Deontic STIT Logics." Journal of Artificial Intelligence Research, 2024.](https://mlanthology.org/jair/2024/lyon2024jair-proof/) doi:10.1613/JAIR.1.15710
BibTeX
@article{lyon2024jair-proof,
title = {{Proof Theory and Decision Procedures for Deontic STIT Logics}},
author = {Lyon, Tim S. and van Berkel, Kees},
journal = {Journal of Artificial Intelligence Research},
year = {2024},
pages = {837-876},
doi = {10.1613/JAIR.1.15710},
volume = {81},
url = {https://mlanthology.org/jair/2024/lyon2024jair-proof/}
}