Public Announcement Logic in HOL
Reiche, Sebastian; Benzmüller, Christoph (2020): Public Announcement Logic in HOL, in: Manuel A. Martin, Igor Sedlar, Manuel A. Martin, u. a. (Hrsg.), Dynamic Logic : New Trends and Applications, 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 ; Volume:
Lecture Notes in Computer Science
Language:
English
DOI:
URL:
Peer Reviewed:
Yes:
International Distribution:
Yes:
Type:
Conferenceobject
URI:
Activation date:
September 22, 2022

Question on publication

Contact the FIS team
Permalink https://fis.uni-bamberg.de/handle/uniba/55667