Future determination of entities in Talmudic public announcement logic

DOI10.1016/J.JAL.2012.06.001MaRDI QIDQ1948288zbMATH OpenOpenAlexFDO

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

zbMATH Keywords

public announcement logicTalmudic logictemporal logic

Mathematics Subject Classification ID

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

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

Cited in

(4)

• Completeness theorems for reactive modal logics
• The Talmudic logic project, ongoing since 2008
• Principles of Talmudic logic
• Interpretable biomedical named entity recognition via BLSTM with Talmudic public announcement logic

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)