A runs-and-systems semantics for logics of announcements

DOI10.1007/978-3-642-15164-4_6zbMATH Open1287.03040OpenAlexW1522714647MaRDI QIDQ3584872FDOQ3584872

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

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'

Mathematics Subject Classification ID

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

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)