start | find | index | login or register | edit
by earl, 6329 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."
powered by vanilla
echo earlZstrainYat|tr ZY @. • esa3 • online for 7369 days • c'est un vanilla site