2004-01-08
by earl, 7411 days ago
"The Dynamic Turn in logic makes actions of communication and general information update into explicit objects of investigation. This paper is a brief tour of this research program in a new version, bringing together ideas from logic, philosophy, computer science, and game theory. In particular, we discuss epistemic, dynamic, and temporal logics, belief revision, and game logics."
search
3 active users
- unknown (3)
backlinks (more)
none, yet
recent stores (more)
recent comments
echo earlZstrainYat|tr ZY @.
