Matteo Pascucci
Slovak Academy of Sciences
In this article we introduce a logical structure for normative reasoning, called Normative Detachment Structure with Ideal Conditions, that can be used to represent the content of certain legal texts in a normalized way. The structure exploits the deductive properties of a system of bimodal logic able to distinguish between ideal and actual normative statements, as well as a novel formalization of conditional normative statements able to capture interesting cases of contrary-to-duty reasoning and to avoid deontic paradoxes. Furthermore, we illustrate how the theoretical framework proposed can be mechanized to get an automated procedure of query-answering on an example of legal text.
Keywords Automated reasoning  Modal and Temporal Logics  Law
Categories (categorize this paper)
Buy the book Find it on
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 62,448
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

No references found.

Add more references

Citations of this work BETA

Add more citations

Similar books and articles

Deontic Logic with Defeasible Detachment.Xiaochang Yu - 1995 - Dissertation, University of Georgia
Why Non-Monotonic Logic is Inadequate to Represent Balancing Arguments.Jan-R. Sieckmann - 2003 - Artificial Intelligence and Law 11 (2-3):211-219.
Towards the Use of Automated Reasoning in Discourse Disambiguation.Claire Gardent & Bonnie Webber - 2001 - Journal of Logic, Language and Information 10 (4):487-509.
Formal Analysis of Responsibility Attribution in a Multimodal Framework.Daniela Glavaničová & Matteo Pascucci - 2019 - In Matteo Baldoni, Mehdi Dastani, Beishui Liao, Yuko Sakurai & Rym Zalila Wenkstern (eds.), PRIMA 2019: Principles and Practice of Multi-Agent Systems. Springer. pp. 36-51.
The Higher-Order Prover LEO-II.Christoph Benzmüller, Nik Sultana, Lawrence C. Paulson & Frank Theiß - 2015 - Journal of Automated Reasoning 55 (4):389-404.
Higher-Order Aspects and Context in SUMO.Christoph Benzmüller & Adam Pease - 2012 - Journal of Web Semantics 12:104-117.


Added to PP index

Total views
3 ( #1,318,564 of 2,445,948 )

Recent downloads (6 months)
2 ( #310,555 of 2,445,948 )

How can I increase my downloads?


My notes