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
van Ditmarsch, Hans
-
dc.contributor.author
Fruzsa, Krisztina
-
dc.contributor.author
Kuznets, Roman
-
dc.date.accessioned
2023-02-21T11:48:51Z
-
dc.date.available
2023-02-21T11:48:51Z
-
dc.date.issued
2022-09-06
-
dc.identifier.citation
<div class="csl-bib-body"> <div class="csl-entry">van Ditmarsch, H., Fruzsa, K., & Kuznets, R. (2022, September 6). <i>Framing faultiness Kripke style</i> [Conference Presentation]. MOSAIC: Modalities in Substructural Logics: Theory, Methods and Applications, Kick Off Conference, Capaccio Paestum, Italy.</div> </div>
-
dc.identifier.uri
http://hdl.handle.net/20.500.12708/153663
-
dc.description.sponsorship
Fonds zur Förderung der wissenschaftlichen Forschung (FWF)
-
dc.language.iso
en
-
dc.subject
distributed systems
en
dc.subject
epistemic logic
en
dc.subject
modal logic
en
dc.subject
byzantine agents
en
dc.title
Framing faultiness Kripke style
en
dc.type
Presentation
en
dc.type
Vortrag
de
dc.relation.grantno
P 33600-N
-
dc.type.category
Conference Presentation
-
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
-
tuw.author.orcid
0000-0002-2013-1003
-
tuw.author.orcid
0000-0001-5894-8724
-
tuw.event.name
MOSAIC: Modalities in Substructural Logics: Theory, Methods and Applications, Kick Off Conference
en
tuw.event.startdate
05-09-2022
-
tuw.event.enddate
10-09-2022
-
tuw.event.online
On Site
-
tuw.event.type
Event for scientific audience
-
tuw.event.place
Capaccio Paestum
-
tuw.event.country
IT
-
tuw.event.presenter
Kuznets, Roman
-
tuw.event.track
Multi Track
-
wb.sciencebranch
Informatik
-
wb.sciencebranch.oefos
1020
-
wb.sciencebranch.value
100
-
item.grantfulltext
none
-
item.cerifentitytype
Publications
-
item.openairecristype
http://purl.org/coar/resource_type/c_18cp
-
item.languageiso639-1
en
-
item.openairetype
conference paper not in proceedings
-
item.fulltext
no Fulltext
-
crisitem.project.funder
FWF - Österr. Wissenschaftsfonds
-
crisitem.project.grantno
P 33600-N
-
crisitem.author.dept
E191-02 - Forschungsbereich Embedded Computing Systems
-
crisitem.author.dept
E191-02 - Forschungsbereich Embedded Computing Systems
-
crisitem.author.dept
E191-02 - Forschungsbereich Embedded Computing Systems
-
crisitem.author.orcid
0000-0002-2013-1003
-
crisitem.author.orcid
0000-0001-5894-8724
-
crisitem.author.parentorg
E191 - Institut für Computer Engineering
-
crisitem.author.parentorg
E191 - Institut für Computer Engineering
-
crisitem.author.parentorg
E191 - Institut für Computer Engineering
-
Appears in Collections:
Presentation
(Graphical) Abstract
Adobe PDF
(309.41 kB)
CC BY-NC 4.0
Show simple item record
Page view(s)
84
checked on Nov 23, 2023
Download(s)
11
checked on Nov 23, 2023
Google Scholar
TM
Check