A runs-and-systems semantics for logics of announcements

DOI10.1007/978-3-642-15164-4_6MaRDI QIDQ3584872zbMATH OpenOpenAlexFDO

Authors Riccardo Pucella, Mehrnoosh Sadrzadeh

Publication date 31 August 2010

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-15164-4_6

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Logic in artificial intelligence (68T27)

Recommendations

• Asynchronous announcements
• scientific article; zbMATH DE number 7444842
• From public announcements to asynchronous announcements
• Public announcement logic in geometric frameworks
• `Knowable' as `known after an announcement'

This page was built for publication: A runs-and-systems semantics for logics of announcements

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3584872)