<div class="csl-bib-body">
<div class="csl-entry">Girlando, M., Kuznets, R., Marin, S., Morales, M., & Straßburger, L. (2023). Decidability of intuitionistic S4. In <i>Logica 2023. Abstracts</i> (pp. 32–33). https://doi.org/10.34726/5418</div>
</div>
-
dc.identifier.uri
http://hdl.handle.net/20.500.12708/193444
-
dc.identifier.uri
https://doi.org/10.34726/5418
-
dc.description.abstract
We prove the decidability of intuitionistic modal logic S4, which has been open since 1994 by using proof search in labelled sequent calculus augmented with loop-creating capabilities.
en
dc.description.sponsorship
FWF - Österr. Wissenschaftsfonds
-
dc.language.iso
en
-
dc.rights.uri
http://creativecommons.org/licenses/by/4.0/
-
dc.subject
decidability
en
dc.subject
intuitionistic modal logic
en
dc.subject
labeled proof systems
en
dc.title
Decidability of intuitionistic S4
en
dc.type
Inproceedings
en
dc.type
Konferenzbeitrag
de
dc.rights.license
Creative Commons Namensnennung 4.0 International
de
dc.rights.license
Creative Commons Attribution 4.0 International
en
dc.identifier.doi
10.34726/5418
-
dc.contributor.affiliation
University of Amsterdam, Netherlands (the)
-
dc.contributor.affiliation
University of Birmingham, United Kingdom of Great Britain and Northern Ireland (the)
-
dc.contributor.affiliation
Inria Saclay - Île de France, France
-
dc.contributor.affiliation
Inria Saclay - Île de France, France
-
dc.description.startpage
32
-
dc.description.endpage
33
-
dc.relation.grantno
P 33600-N
-
dc.type.category
Abstract Book Contribution
-
tuw.booktitle
Logica 2023. Abstracts
-
tuw.peerreviewed
true
-
tuw.project.title
Reasoning about Knowledge in Byzantine Distributed Systems
-
tuw.researchTopic.id
I2
-
tuw.researchTopic.name
Computer Engineering and Software-Intensive Systems
-
tuw.researchTopic.value
100
-
tuw.publication.orgunit
E191-02 - Forschungsbereich Embedded Computing Systems
-
dc.identifier.libraryid
AC17203653
-
dc.description.numberOfPages
2
-
tuw.author.orcid
0000-0002-9384-1356
-
tuw.author.orcid
0000-0001-5894-8724
-
tuw.author.orcid
0000-0003-4661-6540
-
dc.rights.identifier
CC BY 4.0
de
dc.rights.identifier
CC BY 4.0
en
tuw.event.name
Logica 2023
en
dc.description.sponsorshipexternal
Marie Skłodowska-Curie Actions (MSCA)
-
dc.relation.grantnoexternal
101064105
-
tuw.event.startdate
18-06-2023
-
tuw.event.enddate
22-06-2023
-
tuw.event.online
On Site
-
tuw.event.type
Event for scientific audience
-
tuw.event.place
Teplá
-
tuw.event.country
CZ
-
tuw.event.institution
Academy of Sciences of the Czech Republic
-
tuw.event.presenter
Kuznets, Roman
-
wb.sciencebranch
Informatik
-
wb.sciencebranch.oefos
1020
-
wb.sciencebranch.value
100
-
item.openaccessfulltext
Open Access
-
item.fulltext
with Fulltext
-
item.mimetype
application/pdf
-
item.openairecristype
http://purl.org/coar/resource_type/c_5794
-
item.grantfulltext
open
-
item.cerifentitytype
Publications
-
item.languageiso639-1
en
-
item.openairetype
conference paper
-
crisitem.author.dept
University of Amsterdam
-
crisitem.author.dept
E191-02 - Forschungsbereich Embedded Computing Systems
