Public Announcement Logic in Geometric Frameworks

DOI10.3233/FI-2012-710zbMath1266.03026arXiv1107.4935OpenAlexW2112031712MaRDI QIDQ2898469

Can Başkent

Publication date: 11 July 2012

Published in: Fundamenta Informaticae (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1107.4935

zbMATH Keywords

backward inductiontopological semanticspublic announcement logicsubset space logic

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42)

Related Items (6)

Private announcements on topological spaces ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Some topological properties of paraconsistent models ⋮ Announcement as effort on topological spaces ⋮ LOGIC AND TOPOLOGY FOR KNOWLEDGE, KNOWABILITY, AND BELIEF

This page was built for publication: Public Announcement Logic in Geometric Frameworks