A Tableaux System for Deontic Action Logic-Reference-Cited by-同舟云学术

A Tableaux System for Deontic Action Logic

Published:2008 Issue: Volume: Page:34-48
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Castro Pablo F.,Maibaum T. S. E.

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-540-70525-3_4

Reference22 articles.

1. Castro, P., Maibaum, T.: An ought-to-do deontic logic for reasoning about fault-tolerance: The diarrheic philosophers. In: 5th IEEE International Conference on Software Engineering and Formal Methods. IEEE, Los Alamitos (2007)

2. Lecture Notes in Computer Science;P. Castro,2007

3. Kent, S., Quirk, B., Maibaum, T.: Specifying deontic behavior in modal action logic. Technical report, Forest Research Project (1991)

4. Meyer, J.: A different approach to deontic logic: Deontic logic viewed as variant of dynamic logic. Notre Dame Journal of Formal Logic 29 (1988)

5. Fiadeiro, J., Maibaum, T.: Temporal theories as modularization units for concurrent system specification. Formal Aspects of Computing 4, 239–272 (1992)

Cited by 10 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Automated Consistency Analysis for Legal Contracts;Model Checking Software;2022

2. Tableau Systems for Deontic Action Logics Based on Finite Boolean Algebras, and Their Complexity;Studia Logica;2016-10-05

3. Automated Reasoning over Deontic Action Logics with Finite Vocabularies;Electronic Proceedings in Theoretical Computer Science;2014-01-02

4. On deontic action logics based on Boolean algebra;Journal of Logic and Computation;2013-11-07

5. A Deontic Action Logic for Complex Actions;Logic, Rationality, and Interaction;2013