Future determination of entities in Talmudic public announcement logic

DOI10.1016/J.JAL.2012.06.001zbMath1280.03017OpenAlexW2016823111MaRDI QIDQ1948288

M. Abraham, U. Schild, I. Belfer, Dov M. 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

temporal logicpublic announcement logicTalmudic logic

Mathematics Subject Classification ID

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

Related Items (3)

Completeness theorems for reactive modal logics ⋮ Principles Of Talmudic Logic ⋮ The Talmudic logic project, ongoing since 2008

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