Introducing Exclusion Logic as a Deontic Logic | SpringerLink
Skip to main content
Springer Nature Link
Log in

Introducing Exclusion Logic as a Deontic Logic

  • Conference paper
Deontic Logic in Computer Science (DEON 2010)

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

Included in the following conference series:

Abstract

This paper introduces Exclusion Logic - a simple modal logic without negation or disjunction. We show that this logic has an efficient decision procedure. We describe how Exclusion Logic can be used as a deontic logic. We compare this deontic logic with Standard Deontic Logic and with more syntactically restricted logics.

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

Access this chapter

Log in via an institution

Subscribe and save

Springer+ Basic
¥17,985 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Chapter
JPY 3498
Price includes VAT (Japan)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
JPY 5719
Price includes VAT (Japan)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
JPY 7149
Price includes VAT (Japan)
  • 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.

Similar content being viewed by others

References

  1. Alchourron, C., Makinson, D.: Hierarchies of Regulations and their Logic. New Studies in Deontic Logic, pp. 125–148. D. Reidel, Dordrecht (1981)

    Google Scholar 

  2. Boella, G., van der Torre, L.: Permissions and Obligations in Hierarchical Normative Systems. In: Proc. of ICAIL (2003)

    Google Scholar 

  3. Brandom, R.: Making It Explicit. Harvard University Press, Cambridge (1994)

    Google Scholar 

  4. Brandom, R.: Between Saying and Doing. Oxford University Press, Oxford (2008)

    Book  Google Scholar 

  5. Castañeda, H.: The Paradoxes of Deontic Logic. New Studies in Deontic Logic. D Reidel, Dordrecht (1981)

    Google Scholar 

  6. Evans, R.: The Logical Form of Status-Function Declarations. Etica & Politica XI, 203–259 (2009)

    Google Scholar 

  7. Makinson, D., van der Torre, L.: Input/Output Logics. Journal of Philosophical Logic 29, 383–408 (2000)

    Article  MATH  MathSciNet  Google Scholar 

  8. Makinson, D., van der Torre, L.: Permission from an Input/Output Perspective. Journal of Philosophical Logic 32, 391–416 (2003)

    Article  MATH  MathSciNet  Google Scholar 

  9. von Wright, G.H.: Deontic Logic. Mind 60 (1951)

    Google Scholar 

  10. von Wright, G.H.: An Essay in Modal Logic. Humanities Press, New York (1953)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Maxis,  

    Richard Evans

Authors
  1. Richard Evans
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Queensland Research Laboratory, National ICT Australia, 4067, St Lucia, QLD, Australia

    Guido Governatori

  2. European University Institute, Badia Fiesolana, 50016 San Domenico di Fiesole, Florence, Italy, and University of Bologna, Via Zamboni, 33, 40126, Bologna, Italy

    Giovanni Sartor

Rights and permissions

Reprints and permissions

Copyright information

© 2010 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Evans, R. (2010). Introducing Exclusion Logic as a Deontic Logic. In: Governatori, G., Sartor, G. (eds) Deontic Logic in Computer Science. DEON 2010. Lecture Notes in Computer Science(), vol 6181. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-14183-6_14

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-14183-6_14

  • Publisher Name: Springer, Berlin, Heidelberg

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

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

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation