Skip to main content
SpringerLink
Log in
Book cover

International Workshop on Logic, Rationality and Interaction

LORI 2013: Logic, Rationality, and Interaction pp 311–315Cite as

A Deontic Action Logic for Complex Actions

  • Conference paper

Part of the book series: Lecture Notes in Computer Science ((LNTCS,volume 8196))

Abstract

Here we choose an object-oriented approach to model a deontic action logic. The interpretation of an action, related to its execution circumstance, is a set of events charactered by a structure, named event-base, which satisfies some algebra properties. Different from Modal Action Logic (MAL), this structure is not a Boolean one, but reflects the algebra properties of sequent actions and true concurrent actions. At last, our work includes an axiomatic system for deontic complex actions as well as its completeness.

This is a preview of subscription content, log in via an institution.

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Anglberger, A.: Dynamic Deontic Logic and its Paradoxes. Studia Logica: An International Journal for Symbolic Logic 89(3), 427–435 (2008)

    Article  MathSciNet  MATH  Google Scholar 

  2. Blackburn, P., de Rijke, M., de Venema, Y.: Modal Logic. Cambridge Tracts in Theoretical Computer Science 53 (2001)

    Google Scholar 

  3. Broersen, J.: Modal Action Logics for Reasoning about Reactive Systems. PhD thesis, Vrije University (2003)

    Google Scholar 

  4. Castro, P.F.: A Complete and Compact Propositional Deontic Logic. In: Jones, C.B., Liu, Z., Woodcock, J. (eds.) ICTAC 2007. LNCS, vol. 4711, pp. 109–123. Springer, Heidelberg (2007)

    Chapter  Google Scholar 

  5. Castro, P.F., Maibaum, T.S.E.: A Tableaux System for Deontic Action Logic. In: van der Meyden, R., van der Torre, L. (eds.) DEON 2008. LNCS (LNAI), vol. 5076, pp. 34–48. Springer, Heidelberg (2008)

    Chapter  Google Scholar 

  6. Castro, P., Maibaum, T.: Deontic action logic, Atomic Boolean Algebras and Fault-tolerance. Journal of Applied Logic 7(4), 441–466 (2009)

    Article  MathSciNet  MATH  Google Scholar 

  7. Castro, P., Maibaum, T.: Deontic Logic, Contrary to Duty Reasoning and Fault Tolerance. Electronic Notes in Theoretical Computer Science 258, 17–34 (2009)

    Article  Google Scholar 

  8. Castro, P., Maibaum, T.: Towards a First-Order Deontic Action Logic. In: Mossakowski, T., Kreowski, H.-J. (eds.) WADT 2010. LNCS, vol. 7137, pp. 61–75. Springer, Heidelberg (2012)

    Chapter  Google Scholar 

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

    Article  MATH  Google Scholar 

  10. Gargov, G., Passy, S.: A Note on Boolean Logic. In: Petkov, P.P. (ed.) Proceedings of the Heyting Summer School. Plenum Press (1990)

    Google Scholar 

  11. Kent, S., Maibaum, T., Quirk, W.: Formally Specifying Temporal Constraints and Error Recovery. In: Proceedings of IEEE International Symposium on Requirements Engineering, pp. 208–215 (1993)

    Google Scholar 

  12. Kulicki, P., Trypuz, R.: A Deontic Action Logic with Sequential Composition of Actions. In: Ågotnes, T., Broersen, J., Elgesem, D. (eds.) DEON 2012. LNCS, vol. 7393, pp. 184–198. Springer, Heidelberg (2012)

    Chapter  Google Scholar 

  13. McNamara, P.: Deontic Logic. In: Gabbay, D.M., Woods, J. (eds.) Handbook of the History of Logic, vol. 7 (2006)

    Google Scholar 

  14. 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)

    Google Scholar 

  15. Meyer, J.J., Wieringa, R.J.: Applications of Deontic Logic in Computer Science: A Concise Overview. In: Deontic Logic in Computer Science: Normative System Specification, pp. 17–40. John Wiley and Sons, Chichester (1993)

    Google Scholar 

  16. Meyer, J.J., Wieringa, R.J., Dignum, F.P.M.: The Paradoxes of Deontic Logic Revisited: A Computer Science Perspective. In: Electrical Engineering, Mathematics and Computer Science (EEMCS) (1994)

    Google Scholar 

  17. Monk, J.D.: Mathematical logic. Springer (1976)

    Google Scholar 

  18. Peleg, D.: Communication in Concurrent Dynamic Logic. Journal of Computer and System Sciences 35, 23–58 (1987)

    Article  MathSciNet  MATH  Google Scholar 

  19. Prisacariu, C.: Synchronous Kleene Algebra. Logic Algebra. Programming 79, 608–635 (2010)

    Article  MathSciNet  MATH  Google Scholar 

  20. Prisacariu, C., Schneider, G.: A Dynamic Deontic Logic for Complex Contracts. Journal of Logic and Algebraic Programming 81, 458–490 (2012)

    Article  MathSciNet  MATH  Google Scholar 

  21. von Wright, G.: An Essay in Modal Logic and Deontic Logic (1951)

    Google Scholar 

  22. von Wright, G.: Norm and Action: A Logical Enquiry. Routledge & Kegan Paul. The Humanities Press, London, New York (1963)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institute of Logic and Cognition, Sun Yat-Sen University, Guangzhou, 510275, China

    Huimin Dong & Xiaowu Li

Authors
  1. Huimin Dong
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Xiaowu Li
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Computer Science, University of Liverpool, Ashton Building, Ashton Street, L69 3BX, Liverpool, UK

    Davide Grossi

  2. Fakultät für Philosophie, Ludwig-Maximilians-Universität München, Geschwister-Scholl-Platz 1, 80539, München, Germany

    Olivier Roy

  3. Center for the Study of Language and Cognition, Zhejiang University, Xixi Campus, Tianmushan Road 148, 310028,, Hangzhou, China

    Huaxin Huang

Rights and permissions

Reprints and permissions

Copyright information

© 2013 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Dong, H., Li, X. (2013). A Deontic Action Logic for Complex Actions. In: Grossi, D., Roy, O., Huang, H. (eds) Logic, Rationality, and Interaction. LORI 2013. Lecture Notes in Computer Science, vol 8196. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-40948-6_24

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-40948-6_24

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-40947-9

  • Online ISBN: 978-3-642-40948-6

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation