#11435. M?m??s? deontic reasoning using specificity: a proof theoretic approach

August 2026publication date
Proposal available till 19-05-2025
4 total number of authors per manuscript0 $

The title of the journal is available only for the authors who have already paid for
Journal’s subject area:
Law;
Artificial Intelligence;
Places in the authors’ list:
place 1place 2place 3place 4
FreeFreeFreeFree
2510 $1340 $1170 $1000 $
Contract №11435.1 Contract №11435.2 Contract №11435.3 Contract №11435.4
1 place - free (for sale)
2 place - free (for sale)
3 place - free (for sale)
4 place - free (for sale)

More details about the manuscript: Arts & Humanities Citation Index or/and Social Sciences Citation Index
Abstract:
Over the course of more than two millennia the philosophical school of Mimamsa has thoroughly analyzed normative statements. In this paper we approach a formalization of the deontic system which is applied but never explicitly discussed in Mimamsa to resolve conflicts between deontic statements by giving preference to the more specific ones. We first extend with prohibitions and recommendations the non-normal deontic logic extracted in Ciabattoni et al. (in: TABLEAUX 20XX, volume 9323 of LNCS, Springer, 20XX) from Mimamsa texts, obtaining a multimodal dyadic version of the deontic logic MD. Sequent calculus is then used to close a set of prima-facie injunctions under a restricted form of monotonicity, using specificity to avoid conflicts. We establish decidability and complexity results, and investigate the potential use of the resulting system for Mimamsa philosophy and, more generally, for the formal interpretation of normative statements.
Keywords:
Deontic logic; Legal representation; Mimamsa; Non-monotonic inference; Sequent systems; Specificity

Contacts :
0