DC Field
Value
Language
dc.contributor.author
Ciabattoni, Agata
-
dc.contributor.author
Olivetti, Nicola
-
dc.contributor.author
Parent, Xavier
-
dc.date.accessioned
2022-12-21T09:50:47Z
-
dc.date.available
2022-12-21T09:50:47Z
-
dc.date.issued
2022-11-12
-
dc.identifier.citation
<div class="csl-bib-body"> <div class="csl-entry">Ciabattoni, A., Olivetti, N., &#38; Parent, X. (2022). Dyadic Obligations: Proofs and Countermodels via Hypersequents. In <i>PRIMA 2022: Principles and Practice of Multi-Agent Systems.  24th International Conference, Valencia, Spain, November 16–18, 2022, Proceedings</i> (pp. 54–71). Springer. https://doi.org/10.1007/978-3-031-21203-1_4</div> </div>
-
dc.identifier.uri
http://hdl.handle.net/20.500.12708/137030
-
dc.description.abstract
The basic system 𝐄 of dyadic deontic logic proposed by Åqvist offers a simple solution to contrary-to-duty paradoxes and allows to represent norms with exceptions. We investigate 𝐄 from a proof-theoretical viewpoint. We propose a hypersequent calculus with good properties, the most important of which is cut-elimination, and the consequent subformula property. The calculus is refined to obtain a decision procedure for 𝐄 and an effective countermodel computation in case of failure of proof search. By means of the refined calculus, we prove that validity in 𝐄 is Co-NP and countermodels have polynomial size.
en
dc.description.sponsorship
Fonds zur Förderung der wissenschaftlichen Forschung (FWF)
-
dc.language.iso
en
-
dc.rights.uri
https://creativecommons.org/licenses/by-nc-nd/4.0/
-
dc.subject
dyadic obligation
en
dc.subject
sequent calculus
en
dc.subject
search
en
dc.title
Dyadic Obligations: Proofs and Countermodels via Hypersequents
en
dc.type
Inproceedings
en
dc.type
Konferenzbeitrag
de
dc.rights.license
Creative Commons Namensnennung - Nicht kommerziell - Keine Bearbeitungen 4.0 International
de
dc.rights.license
Creative Commons Attribution - NonCommercial-NoDerivatives 4.0 International
en
dc.contributor.affiliation
Aix-Marseille Université, France
-
dc.relation.isbn
ISBN: 978-3-031-21202-4
-
dc.relation.doi
10.1007/978-3-031-21203-1\_4
-
dc.relation.issn
0302-9743
-
dc.description.startpage
54
-
dc.description.endpage
71
-
dc.relation.grantno
M 3240-N
-
dcterms.dateSubmitted
2022
-
dc.type.category
Full-Paper Contribution
-
tuw.booktitle
PRIMA 2022: Principles and Practice of Multi-Agent Systems. 24th International Conference, Valencia, Spain, November 16–18, 2022, Proceedings
-
tuw.container.volume
13753
-
tuw.peerreviewed
true
-
tuw.book.ispartofseries
Lecture Notes in Computer Science (LNCS, volume 13753)
-
tuw.relation.publisher
Springer
-
tuw.project.title
Axiomatisierung des Schließens mit normativen Konditionalen
-
tuw.researchTopic.id
C5
-
tuw.researchTopic.name
Computer Science Foundations
-
tuw.researchTopic.value
100
-
tuw.linking
https://link.springer.com/book/9783031212048
-
tuw.linking
https://prima2022.webs.upv.es/
-
tuw.publication.orgunit
E192-05 - Forschungsbereich Theory and Logic
-
tuw.publisher.doi
10.1007/978-3-031-21203-1_4
-
dc.description.numberOfPages
18
-
dc.rights.identifier
CC BY-NC-ND 4.0
de
dc.rights.identifier
CC BY-NC-ND 4.0
en
tuw.event.name
The 24th International Conference on Principles and Practice of Multi-Agent Systems (Prima 2022)
en
tuw.event.startdate
16-11-2022
-
tuw.event.enddate
18-11-2022
-
tuw.event.online
Hybrid
-
tuw.event.type
Event for scientific audience
-
tuw.event.place
Valencia
-
tuw.event.country
ES
-
tuw.event.presenter
Ciabattoni, Agata
-
tuw.event.presenter
Parent, Xavier
-
wb.sciencebranch
Informatik
-
wb.sciencebranch.oefos
1020
-
wb.sciencebranch.value
100
-
item.grantfulltext
restricted
-
item.openairecristype
http://purl.org/coar/resource_type/c_5794
-
item.openairetype
conference paper
-
item.languageiso639-1
en
-
item.cerifentitytype
Publications
-
item.fulltext
no Fulltext
-
crisitem.author.dept
E192-05 - Forschungsbereich Theory and Logic
-
crisitem.author.dept
Aix-Marseille Université
-
crisitem.author.dept
E192-05 - Forschungsbereich Theory and Logic
-
crisitem.author.parentorg
E192 - Institut für Logic and Computation
-
crisitem.author.parentorg
E192 - Institut für Logic and Computation
-
crisitem.project.funder
FWF - Österr. Wissenschaftsfonds
-
crisitem.project.grantno
M 3240-N
-
Appears in Collections:
Conference Paper
Show simple item record

Page view(s)

266
checked on Nov 23, 2023

Download(s)

10
checked on Nov 23, 2023

Google ScholarTM

Check