Notice
This item was automatically migrated from a legacy system. It's data has not been checked and might not meet the quality criteria of the present system.
Record link: 
http://hdl.handle.net/20.500.12708/57498
-
Title: 
Resolving Conflicting Obligations in Mīmāṃsā: A Sequent-based Approach
-
Citation: 
Ciabattoni, A., Gulisano, F., & Lellmann, B. (2018). Resolving Conflicting Obligations in Mīmāṃsā: A Sequent-based Approach. In J. Broersen, C. Condoravdi, S. Nair, & G. Pigozzi (Eds.), Deontic Logic and Normative Systems DEON 2018 (pp. 91–110). College Publications. http://hdl.handle.net/20.500.12708/57498
-
Publication Type: 
Inproceedings - Full-Paper Contribution
en
Authors: 
Ciabattoni, Agata 
Gulisano, Francesca 
Lellmann, Björn 
-
Organisational Unit: 
E192-05 - Forschungsbereich Theory and Logic 
-
Published in: 
Deontic Logic and Normative Systems DEON 2018 
-
Date (published): 
2018
-
Number of Pages: 
20
-
Publisher: 
College Publications
-
Peer reviewed: 
Yes
-
Keywords: 
Proof theory; Deontic logic; Nonmonotonic reasoning
-
Research Areas: 
Logic and Computation: 100%
-
Science Branch: 
Informatik
-
Appears in Collections:
Conference Paper

Show full item record

Page view(s)

173
checked on Nov 23, 2023

Google ScholarTM

Check