scientific article; zbMATH DE number 7440226
From MaRDI portal
Publication:5015398
zbMath1483.68388arXiv1606.07527MaRDI QIDQ5015398
Sophia Knight, Aybüke Özgün, Hans P. van Ditmarsch
Publication date: 7 December 2021
Full work available at URL: https://arxiv.org/abs/1606.07527
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Logic in artificial intelligence (68T27) Logics of knowledge and belief (including belief change) (03B42) Knowledge representation (68T30)
Related Items (2)
Cites Work
- Unnamed Item
- Dynamic epistemic logic
- Axiomatising the logic of computer programming
- Topological reasoning and the logic of knowledge
- Logics of public communications
- Public Announcement Logic in Geometric Frameworks
- Logics for multi-subset spaces
- Subset Space Logic with Arbitrary Announcements
- Subset Space Public Announcement Logic
- ‘KNOWABLE’ AS ‘KNOWN AFTER AN ANNOUNCEMENT’
This page was built for publication: