Future determination of entities in Talmudic public announcement logic.

Michael Abraham,Israel Belfer, Dsov. M. Gabbay,Uri J. Schild

Journal of Applied Logic（2013）

引用 4|浏览5

暂无评分

摘要

Ordinary dynamic action logics deal with states and actions upon states. The actions can be deterministic or non-deterministic, but it is always assumed that the possible results of the actions are clear cut.

查看译文

关键词

Temporal logic,Talmudic logic,Public announcement logic

AI 理解论文

溯源树

样例

生成溯源树，研究论文发展脉络

Chat Paper

正在生成论文摘要