DC Field
Value
Language
dc.contributor.author
Ciabattoni, Agata
-
dc.contributor.author
Straßburger, Lutz
-
dc.contributor.author
Tesi, Matteo
-
dc.contributor.editor
David Fernández-Duque
-
dc.contributor.editor
PALMIGIANO, Alessandra
-
dc.contributor.editor
Pinchinat, Sophie
-
dc.date.accessioned
2022-12-20T14:15:10Z
-
dc.date.available
2022-12-20T14:15:10Z
-
dc.date.issued
2022
-
dc.identifier.citation
<div class="csl-bib-body"> <div class="csl-entry">Ciabattoni, A., Straßburger, L., &#38; Tesi, M. (2022). Taming Bounded Depth with Nested Sequents. In David Fernández-Duque, A. PALMIGIANO, &#38; S. Pinchinat (Eds.), <i>Advances in Model Logic</i> (pp. 199–217). College Publications. http://hdl.handle.net/20.500.12708/137005</div> </div>
-
dc.identifier.uri
http://hdl.handle.net/20.500.12708/137005
-
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
Nested sequences
en
dc.subject
Cut Elimination
en
dc.subject
Intermediate Logics
en
dc.subject
Bounded Depth Kripke Models
en
dc.title
Taming Bounded Depth with Nested Sequents
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
Inria Saclay - Île de France, France
-
dc.contributor.affiliation
Scuola Normale Superiore, Italy
-
dc.contributor.editoraffiliation
Vrije Universiteit Amsterdam, Netherlands (the)
-
dc.contributor.editoraffiliation
Université de Rennes, France
-
dc.relation.isbn
978-1-84890-413-2
-
dc.description.startpage
199
-
dc.description.endpage
217
-
dc.relation.grantno
I 2982-N35
-
dc.type.category
Full-Paper Contribution
-
tuw.booktitle
Advances in Model Logic
-
tuw.container.volume
14
-
tuw.relation.publisher
College Publications
-
tuw.project.title
TICAMORE: Transfer und Entwicklung von Kalkülen für Modallogiken und Verwandte Systeme
-
tuw.researchTopic.id
C5
-
tuw.researchTopic.name
Computer Science Foundations
-
tuw.researchTopic.value
100
-
tuw.linking
https://www.collegepublications.co.uk/aiml/?00011
-
tuw.publication.orgunit
E192-05 - Forschungsbereich Theory and Logic
-
dc.description.numberOfPages
19
-
tuw.author.orcid
0000-0003-4661-6540
-
dc.rights.identifier
CC BY-NC-ND 4.0
de
dc.rights.identifier
CC BY-NC-ND 4.0
en
tuw.editor.orcid
0000-0001-9656-7527
-
tuw.editor.orcid
0000-0002-0901-8480
-
tuw.event.name
International Conference Advances in Modal Logic 2022 (AiML22)
en
tuw.event.startdate
22-08-2022
-
tuw.event.enddate
25-08-2022
-
tuw.event.online
Hybrid
-
tuw.event.type
Event for scientific audience
-
tuw.event.place
Rennes
-
tuw.event.country
FR
-
tuw.event.presenter
Ciabattoni, Agata
-
tuw.event.presenter
Tesi, Matteo
-
tuw.event.track
Multi Track
-
wb.sciencebranch
Informatik
-
wb.sciencebranch.oefos
1020
-
wb.sciencebranch.value
100
-
item.fulltext
no Fulltext
-
item.openairecristype
http://purl.org/coar/resource_type/c_5794
-
item.grantfulltext
restricted
-
item.cerifentitytype
Publications
-
item.languageiso639-1
en
-
item.openairetype
conference paper
-
crisitem.author.dept
E192-05 - Forschungsbereich Theory and Logic
-
crisitem.author.dept
Inria Saclay - Île de France
-
crisitem.author.dept
Scuola Normale Superiore
-
crisitem.author.orcid
0000-0003-4661-6540
-
crisitem.author.orcid
0000-0003-2810-5835
-
crisitem.author.parentorg
E192 - Institut für Logic and Computation
-
crisitem.project.funder
Fonds zur Förderung der wissenschaftlichen Forschung (FWF)
-
crisitem.project.grantno
I 2982-N35
-
Appears in Collections:
Conference Paper
Show simple item record

Page view(s)

215
checked on Nov 23, 2023

Download(s)

15
checked on Nov 23, 2023

Google ScholarTM

Check