Future determination of entities in Talmudic public announcement logic

DOI10.1016/J.JAL.2012.06.001zbMATH Open1280.03017OpenAlexW2016823111MaRDI QIDQ1948288FDOQ1948288

Authors: M. Abraham, I. Belfer, U. Schild, Dov Gabbay 

Publication date: 2 May 2013

Published in: Journal of Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jal.2012.06.001

Recommendations

• `Knowable' as `known after an announcement'
• A Tableau Method for Public Announcement Logics
• Total Public Announcements
• How arbitrary are arbitrary public announcements?
• What will they say? -- Public announcement games

zbMATH Keywords

temporal logicpublic announcement logicTalmudic logic

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Temporal logic (03B44)

Cited In (3)

• Principles of Talmudic logic
• Completeness theorems for reactive modal logics
• The Talmudic logic project, ongoing since 2008

This page was built for publication: Future determination of entities in Talmudic public announcement logic

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