A complete and compact propositional deontic logic

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4711 LNCS, Issue , 2007, Pages 109-123

  Castro, Pablo F ^a   Maibaum, T S E ^a  

^a MCMASTER UNIVERSITY   (Canada)

Author keywords

Deontic logic; Fault tolerance; Modal logic; Software specification; Temporal logic

Indexed keywords

COMPUTER SOFTWARE; FAULT TOLERANCE; TEMPORAL LOGIC;

AXIOMATIZATION; MODAL LOGIC;

FAULT TOLERANT COMPUTER SYSTEMS;

EID: 38049105805     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-75292-9_8     Document Type: Conference Paper

References (15)

1. Meyer, J.J., Wieringa, R.J.: Deontic logic: A concise overview. In: DEON 91. First International Workshop on Deontic Logic (1991)
2. Broersen, J.: Modal Action Logics for Reasoning about Reactive Systems. PhD thesis, Vrije University Amsterdam (2003)
3. Maibaum, T.S.E., Khosla, S.: The prescription and description of state-based systems. In: Barringer, H.B., Pnueli, A. (eds.) Temporal Logic in Computation, Springer, Heidelberg (1985)
4. Meyer, J.J.: Dynamic logic for reasoning about actions and agents. In: Workshop on Logic-Based Artificial Intelligence, Washington, DC, June 14-16 (1999)
5. Magee, J., Maibaum, T.S.E.: Towards specification, modelling and analysis of fault tolerance in self managed systems. In: Proceeding of the 2006 international workshop on self-adaptation and self-managing systems (2006)
6. Meyer, J.J.: A different approach to deontic logic: Deontic logic viewed as variant of dynamic logic. Notre Dame Journal of Formal Logic 29 (1988)
7. Kent, S., Quirk, B., Maibaum, T.S.E.: Specifying deontic behavior in modal action logic. Technical report, Forest Research Project (1991)
8. Gargov, G., Passy, S.: A note on boolean logic. In: Petkov, P.P. (ed.) Proceedings of the Heyting Summerschool, Plenum Press, New York (1990)
9. Harel, D., Kozen, D., Tiuryn, J.: Dynamic Logic. MIT Press, Cambridge (2000)
10. Sikorski, R.: Boolean Algebras. Springer, Heidelberg (1969)
11. Monk, J.D.: Mathematical Logic. Graduate Texts in Mathematics. Springer, Heidelberg (1976)
12. Castro, P.F., Maibaum, T.S.E.: Torwards a deontic logic for fault tolerance. Technical Report SQRL39, McMaster, Department of Computing & Software, Software Quality Research Laboratory (2007)
13. Blackburn, P., Rijke, M., Venema, Y.: Modal Logic. Cambridge Tracts in Theoretical Computer Science, vol. 53 (2001)
14. Emerson, E.A., Halpern, J.Y.: Decision procedures and expressiveness in the temporal logic of branching time. In: STOC. 14th Annual Symposiun on Theory of Computing (1982)
15. Dijkstra, E.W.: Hirarchical ordering of sequential processes. In: Acta Informatica, vol. 1, pp. 115-138. Springer, Heidelberg (1971)