Skip to main content
SpringerLink
Log in

Dynamic Context Logic

  • Conference paper
Book cover Logic, Rationality, and Interaction (LORI 2009)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 5834))

Included in the following conference series:

Abstract

Building on a simple modal logic of context, the paper presents a dynamic logic characterizing operations of contraction and expansion on theories. We investigate the mathematical properties of the logic, and show how it can capture some aspects of the dynamics of normative systems once they are viewed as logical theories.

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

Access this chapter

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

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Ågotnes, T., van der Hoek, W., Rodriguez-Aguilar, J.A., Sierra, C., Wooldridge, M.: On the logic of normative systems. In: Proc. of IJCAI 2007, pp. 1181–1186. AAAI Press, Menlo Park (2007)

    Google Scholar 

  2. Alchourrón, C., Gärdenfors, P., Makinson, D.: On the logic of theory change: Partial meet contraction and revision functions. J. of Symbolic Logic 50, 510–530 (1985)

    Article  MathSciNet  MATH  Google Scholar 

  3. Alchourrón, C., Makinson, D.: Hierarchies of regulations and their logic. In: Hilpinen, R. (ed.) Deontic Logic: Introductory and Systematic Readings. D. Reidel (1981)

    Google Scholar 

  4. Anderson, A.: A reduction of deontic logic to alethic modal logic. Mind 22, 100–103 (1958)

    Article  Google Scholar 

  5. Blackburn, P., de Rijke, M., Venema, Y.: Modal Logic. Cambridge Univ. Press, Cambridge (2001)

    Book  MATH  Google Scholar 

  6. Boella, G., Pigozzi, G., van der Torre, L.: Normative framework for normative system change. AAMAS (1), 169–176 (2009)

    Google Scholar 

  7. Ghidini, C., Giunchiglia, F.: Local models semantics, or contextual reasoning = locality + compatibility. Artificial Intelligence 127(2), 221–259 (2001)

    Article  MathSciNet  MATH  Google Scholar 

  8. Governatori, G., Rotolo, A.: Changing legal systems: abrogation and annulment (part I: revision of defeasible theories). In: van der Meyden, R., van der Torre, L. (eds.) DEON 2008. LNCS (LNAI), vol. 5076, pp. 3–18. Springer, Heidelberg (2008)

    Chapter  Google Scholar 

  9. Grossi, D., Meyer, J.-J.C., Dignum, F.: The many faces of counts-as: A formal analysis of constitutive-rules. J. of Applied Logic 6(2), 192–217 (2008)

    Article  MathSciNet  MATH  Google Scholar 

  10. Harel, D., Kozen, D., Tiuryn, J.: Dynamic Logic. MIT Press, Cambridge (2000)

    MATH  Google Scholar 

  11. Hilpinen, R. (ed.): New Studies in Deontic Logic. Synthese Library Series. Reidel (1981)

    Google Scholar 

  12. Kanger, S.: New fondations for ethical theory. In: Hilpinen, R. (ed.) Deontic Logic: Introductory and Systematic Readings, pp. 36–58. Reidel Publishing Company (1971)

    Google Scholar 

  13. Lomuscio, A., Sergot, M.: Deontic intepreted systems. Studia Logica 75, 63–92 (2003)

    Article  MathSciNet  MATH  Google Scholar 

  14. Pucella, R., Weissman, V.: Reasoning about dynamic policies. In: Walukiewicz, I. (ed.) FOSSACS 2004. LNCS, vol. 2987, pp. 453–467. Springer, Heidelberg (2004)

    Chapter  Google Scholar 

  15. Searle, J.R.: Speech acts: An essay in the philosophy of language. Cambridge Univ. Press, Cambridge (1969)

    Book  Google Scholar 

  16. Segerberg, K.: Two traditions in the logic of belief: bringing them together. In: Ohlbach, H.J., Reyle, U. (eds.) Logic, Language and Reasoning: essays in honour of Dov Gabbay. Kluwer, Dordrecht (1999)

    Google Scholar 

  17. Stalnaker, R.: On the representation of context. J. of Logic, Language, and Information 7, 3–19 (1998)

    Article  MATH  Google Scholar 

  18. Ågotnes, T., Wiebe van der Hoek, W., Tennenholtz, M., Wooldridge, M.: Power in normative systems. In: Decker, P., Sichman, J., Sierra, C., Castelfranchi, C. (eds.) Proceedings of the Eighth International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2009), pp. 145–152 (2009)

    Google Scholar 

  19. van Benthem, J., Liu, F.: Dynamic logic of preference upgrade. J. of Applied Non-Classical Logics 17(2), 157–182 (2007)

    Article  MathSciNet  MATH  Google Scholar 

  20. Van der Meyden, R.: The dynamic logic of permission. J. of Logic and Computation 6, 465–479 (1996)

    Article  MathSciNet  MATH  Google Scholar 

  21. van Ditmarsch, H., van der Hoek, W., Kooi, B.: Dynamic Epistemic Logic. Synthese Library Series, vol. 337. Springer, Heidelberg (2007)

    Book  MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. ICR, University of Luxembourg, Luxembourg

    Guillaume Aucher

  2. ILLC, University of Amsterdam, the Netherlands

    Davide Grossi

  3. IRIT, University of Toulouse, France

    Andreas Herzig & Emiliano Lorini

Authors
  1. Guillaume Aucher
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Davide Grossi
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Andreas Herzig
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Emiliano Lorini
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Institute of Logic and Intelligence, Southwest University, 2, Tiansheng Road, 400715, Chongqing, China

    Xiangdong He

  2. Philosophy Department, University of Maryland, Institute for Advanced Computer Studies (UMIACS), 20742, College Park, MD, USA

    John Horty

  3. Center for Logic and Philosophy of Science, Tilburg University, Dante Building, 5000, Tilburg, LE, The Netherlands

    Eric Pacuit

Rights and permissions

Reprints and permissions

Copyright information

© 2009 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Aucher, G., Grossi, D., Herzig, A., Lorini, E. (2009). Dynamic Context Logic. In: He, X., Horty, J., Pacuit, E. (eds) Logic, Rationality, and Interaction. LORI 2009. Lecture Notes in Computer Science(), vol 5834. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-04893-7_2

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-04893-7_2

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-04892-0

  • Online ISBN: 978-3-642-04893-7

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation