Blog Archives

Topic Archive: logic of knowledge

Computational Logic SeminarTuesday, May 7, 20132:00 pmGraduate Center, rm. 3209

Yoram Moses

Knowledge and the Passage of Time

Israel Institute of Technology - Technion

This talk will discuss how knowledge, nested knowledge, and common knowledge are gained in the presence of clocks and time bound information. It will complement the previous talk, in providing the causal structure underlying knowledge gain, from which the causal structure underlying basic coordination follows.

The talk will be based on joint work with Ido Ben Zvi.

Computational Logic SeminarTuesday, April 23, 20132:00 pmRoom 3209

Yoram Moses

On Time, Communication and Coordination

Israel Institute of Technology - Technion

Recent work has shown that applications of the modal logic of knowledge allow a characterization of the interaction between communication and coordination in systems with clocks and timing information. This talk will survey some of these results and the underlying notions and techniques. Time permitting, some issues related to the interaction between time and causality will be discussed. The focus of the talk will be on the interface between logic (or semantic notions) and application, rather than on the properties of the logic itself.