STSM WG5 (Vojciech Jamroga)

Start Date: 2011-05-28

End Date: 2011-06-05

Host Institution: University Rey Juan Carlos, Spain

Host Country: Spain

Home Institution: University of Luxembourg

Home Country: Luxembourg


Most concepts of trust refer in some way to agents\` expectations about the behavior of other agents. Such a view must involve a notion of what the agents know (or believe in) as well as some temporal and/or strategic view of the world. Game theory and epistemic logic are two approaches that can be used to give a formal account of the respective dimensions. We want to study the interplay between the two traditions of reasoning about agents. In particular, we plan to discuss if/how strategic logics can facilitate formal approaches at trust and reputation.

STSM Report