Options
Public Announcement Logic in HOL
Reiche, Sebastian; Benzmüller, Christoph (2020): „Public Announcement Logic in HOL“. In: Cham: Springer S. 222–238, doi: 10.1007/978-3-030-65840-3_14.
Author:
Title of the compilation:
Dynamic Logic : New Trends and Applications
Volume Number/Title:
12569
Editors:
Martin, Manuel A.
Sedlar, Igor
Conference:
Third International Workshop, DaLí 2020 Prague, Czech Republic, October 9-10, 2020 ; Prague, Czech Republic
Publisher Information:
Year of publication:
2020
Issue:
12569
Pages:
ISBN:
978-3-030-65840-3
978-3-030-65839-7
Series:
Lecture Notes in Computer Science
Language:
English
Peer Reviewed:
Yes:
International Distribution:
Yes:
Type:
Conferenceobject
published:
September 22, 2022
Permalink
https://fis.uni-bamberg.de/handle/uniba/55667