Toggle navigation
reposiTUm
ABOUT REPOSITUM
HELP
Login
News
Browse by
Publication Types
Organizations
Researchers
Projects
TU Wien Academic Press
Open Access Series
Theses
Digitised Works
Year of Publication
DC Field
Value
Language
dc.contributor.author
Pichler, Dominik
-
dc.date.accessioned
2024-01-03T09:05:22Z
-
dc.date.available
2024-01-03T09:05:22Z
-
dc.date.issued
2023-02-11
-
dc.identifier.citation
<div class="csl-bib-body"> <div class="csl-entry">Pichler, D. (2023, February 11). <i>Extensionality for Dyadic Obligations</i> [Poster Presentation]. SPLogIC 2023, Sao Paulo, Brazil.</div> </div>
-
dc.identifier.uri
http://hdl.handle.net/20.500.12708/190990
-
dc.description.sponsorship
European Commission
-
dc.language.iso
en
-
dc.subject
First-order modal logic
en
dc.subject
extensionality
en
dc.subject
conditional obligation
en
dc.title
Extensionality for Dyadic Obligations
en
dc.type
Presentation
en
dc.type
Vortrag
de
dc.relation.grantno
101007627
-
dc.type.category
Poster Presentation
-
tuw.project.title
Mosaic -- modal logics
-
tuw.researchTopic.id
C5
-
tuw.researchTopic.name
Computer Science Foundations
-
tuw.researchTopic.value
100
-
tuw.publication.orgunit
E192-05 - Forschungsbereich Theory and Logic
-
tuw.event.name
SPLogIC 2023
-
tuw.event.startdate
06-02-2023
-
tuw.event.enddate
17-02-2023
-
tuw.event.online
On Site
-
tuw.event.type
Event for scientific audience
-
tuw.event.place
Sao Paulo
-
tuw.event.country
BR
-
tuw.event.institution
University of Campinas
-
tuw.event.presenter
Pichler, Dominik
-
wb.sciencebranch
Informatik
-
wb.sciencebranch.oefos
1020
-
wb.sciencebranch.value
100
-
item.languageiso639-1
en
-
item.openairetype
conference poster not in proceedings
-
item.grantfulltext
none
-
item.fulltext
no Fulltext
-
item.cerifentitytype
Publications
-
item.openairecristype
http://purl.org/coar/resource_type/c_18co
-
crisitem.author.dept
E192-05 - Forschungsbereich Theory and Logic
-
crisitem.author.parentorg
E192 - Institut für Logic and Computation
-
crisitem.project.funder
European Commission
-
crisitem.project.grantno
101007627
-
Appears in Collections:
Presentation
Show simple item record
Page view(s)
138
checked on Jan 3, 2024
Download(s)
2
checked on Jan 3, 2024
Google Scholar
TM
Check