Philippe Balbiani, Jan Broersen, Julien Brunel. Decision Procedures for a Deontic Logic Modeling Temporal Inheritance of Obligations. Electronic Notes in Theoretical Computer Science, 231:69-89, 2009. [doi]
@article{BalbianiBB09, title = {Decision Procedures for a Deontic Logic Modeling Temporal Inheritance of Obligations}, author = {Philippe Balbiani and Jan Broersen and Julien Brunel}, year = {2009}, doi = {10.1016/j.entcs.2009.02.030}, url = {http://dx.doi.org/10.1016/j.entcs.2009.02.030}, tags = {modeling, logic}, researchr = {https://researchr.org/publication/BalbianiBB09}, cites = {0}, citedby = {0}, journal = {Electronic Notes in Theoretical Computer Science}, volume = {231}, pages = {69-89}, }