Skip to main content
SpringerLink
Log in

Proof Analysis in Deontic Logics

  • Conference paper
Deontic Logic and Normative Systems (DEON 2014)

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

Included in the following conference series:

Abstract

Sequent calculi for normal and non-normal deontic logics are introduced. For these calculi we prove that weakening and contraction are height-preserving admissible, and we give a syntactic proof of the admissibility of cut. This yields that the subformula property holds for them and that they are decidable. Then we show that our calculi are equivalent to the axiomatic ones, and therefore that they are sound and complete w.r.t. neighborhood semantics. This is a major step in the development of the proof theory of deontic logics since our calculi allow for a systematic root-first proof search of formal derivations.

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. van Benthem, J., Grossi, D., Fenrong, L.: Priority Structures in Deontic Logic. Theoria 80, 116–152 (2014)

    Article  Google Scholar 

  2. Calardo, E.: Non-normal Modal Logics, Quantification, and Deontic Dilemmas. Ph.D. Thesis, Università di Bologna (2013)

    Google Scholar 

  3. Chellas, B.F.: Modal Logic: An Introduction. CUP, Cambridge (1980)

    Book  MATH  Google Scholar 

  4. Gilbert, D., Maffezioli, P.: Modular Sequent Calculi for Classical Modal Logics. Studia Logica (forthcoming)

    Google Scholar 

  5. Gratzl, N.: Sequent Calculi for Multi-modal Logic with Interaction. In: Grossi, D., Roy, O., Huang, H. (eds.) LORI. LNCS, vol. 8196, pp. 124–134. Springer, Heidelberg (2013)

    Chapter  Google Scholar 

  6. Indrzejczak, A.: Admissiblity of Cut in Congruent Modal Logics. Logic and Logical Philosophy 21, 189–203 (2011)

    MathSciNet  Google Scholar 

  7. Lavendhomme, R., Lucas, L.: Sequent Calculi and Decision Procedures for Weak Modal Systems. Studia Logica 65, 121–145 (2000)

    Article  MathSciNet  Google Scholar 

  8. McNamara, P.: Deontic Logic. In: Gabbay, D.M., Woods, J. (eds.) Handbook of the History of Logic, vol. 7, pp. 197–288. Elsevier, Amsterdam (2006)

    Google Scholar 

  9. Negri, S.: Extending the Scope of Labelled Sequent Calculi: the Case of Classical Counterfactuals (Abstract) (2013), http://www.lix.polytechnique.fr/colloquium2013/abstracts/sarneg.pdf

  10. Negri, S., Hakli, R.: Does the Deduction Theorem Fail for Modal Logic? Synthese 184, 849–867 (2012)

    MathSciNet  Google Scholar 

  11. Negri, S., von Plato, J.: Structural Proof Theory. CUP, Cambridge (2001)

    Book  MATH  Google Scholar 

  12. Negri, S., von Plato, J.: Proof Analysis. CUP, Cambridge (2011)

    Book  MATH  Google Scholar 

  13. Valentini, S.: The Sequent Calculus for the Modal Logic D. Bollettino dell’Unione Matematica Italiana 7, 455–460 (1993)

    MATH  MathSciNet  Google Scholar 

  14. van der Torre, L.: Reasoning about Obligations. Tinbergen Institute Research Series, Amsterdam (1997)

    MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Dipartimento di Filosofia e Comunicazione, Università di Bologna, Italy

    Eugenio Orlandelli

Authors
  1. Eugenio Orlandelli
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Philosophy, Northwestern University, Campus Drive, 1880, 60208, Evanston, IL, USA

    Fabrizio Cariani

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

    Davide Grossi

  3. Centre for Logic and Philosophy of Science, Universiteit Gent, Blandijnberg 2, 9000, Gent, Belgium

    Joke Meheus

  4. University of Luxembourg,  6, rue Richard Coudenhove-Kalergi, 1359, Luxembourg, Luxembourg

    Xavier Parent

Rights and permissions

Reprints and permissions

Copyright information

© 2014 Springer International Publishing Switzerland

About this paper

Cite this paper

Orlandelli, E. (2014). Proof Analysis in Deontic Logics. In: Cariani, F., Grossi, D., Meheus, J., Parent, X. (eds) Deontic Logic and Normative Systems. DEON 2014. Lecture Notes in Computer Science(), vol 8554. Springer, Cham. https://doi.org/10.1007/978-3-319-08615-6_11

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-08615-6_11

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-08614-9

  • Online ISBN: 978-3-319-08615-6

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation