Record link: 
http://hdl.handle.net/20.500.12708/193320
https://doi.org/10.34726/5415
-
Title: 
A decision procedure for IS4
en
Citation: 
Girlando, M., Kuznets, R., Marin, S., Morales, M., & Straßburger, L. (2023). A decision procedure for IS4. In Workshop on Proof Theory, Modal Logic and Reflection Principles, Wormshop 2023, Bern, Booklet of abstracts. Wormshop 2023: Workshop on Proof Theory, Modal Logic and Reflection Principles, Bern, Switzerland. https://doi.org/10.34726/5415
-
reposiTUm DOI: 
10.34726/5415
-
CatalogPlus: 
AC17204146
-
Publication Type: 
Inproceedings - Abstract Book Contribution
en
Language: 
English
-
Authors: 
Girlando, Marianna 
Kuznets, Roman 
Marin, Sonia 
Morales, Marianela 
Straßburger, Lutz 
-
Organisational Unit: 
E191-02 - Forschungsbereich Embedded Computing Systems 
-
Published in: 
Workshop on Proof Theory, Modal Logic and Reflection Principles, Wormshop 2023, Bern, Booklet of abstracts 
-
Date (published): 
31-Oct-2023
-
Event name: 
Wormshop 2023: Workshop on Proof Theory, Modal Logic and Reflection Principles 
en
Event date: 
31-Oct-2023 - 3-Nov-2023
-
Event place: 
Bern, Switzerland
-
Number of Pages: 
1
-
Keywords: 
intuitionistic modal logic; decidability
en
Project title: 
Reasoning about Knowledge in Byzantine Distributed Systems: P 33600-N (FWF - Österr. Wissenschaftsfonds) 
-
Research Areas: 
Computer Engineering and Software-Intensive Systems: 100%
-
Science Branch: 
1020 - Informatik: 100%
-
License: 
CC BY 4.0 CC BY 4.0
en
Appears in Collections:
Conference Paper

Thumbnail
Fulltext (Version of Record (published version))
Adobe PDF
(47.11 kB)
Open Access CC BY 4.0
Show full item record

Page view(s)

253
checked on Feb 2, 2024

Download(s)

62
checked on Feb 2, 2024

Google ScholarTM

Check