start | find | index | login or register | edit
Donnerstag, 8. Januar 2004 link

"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."

no comments

Please log in (you may want to register first) to post comments!

powered by vanilla
echo earlZstrainYat|tr ZY @. • esa3 • online for 7066 days • c'est un vanilla site