Proof Theory and Decision Procedures for Deontic STIT Logics.
Saved in:
| Title: | Proof Theory and Decision Procedures for Deontic STIT Logics. |
|---|---|
| Authors: | Lyon, Tim S.1 TIMOTHY_STEPHEN.LYON@TU-DRESDEN.DE, van Berkel, Kees2 KEES@LOGIC.AT |
| Source: | Journal of Artificial Intelligence Research. 2024, Vol. 81, p837-876. 40p. |
| Database: | Mathematics Source |
| ISSN: | 10769757 |
|---|---|
| DOI: | 10.1613/jair.1.15710 |
