STSM WG1 (Levan Uridia)

Start Date: 2011-05-15

End Date: 2011-06-30

Host Institution: IRIT Toulouse

Host Country: France

Home Institution: University Rey Juan Carlos

Home Country: Spain

Description:

The plan is to study concepts like common knowledge, common belief, distributed knowledge (belief) and trust. We want to investigate several modal logics modeling these concepts and relate them with each other. There are enormous number of papers in these directions where common (distributed) knowledge (belief) and trust are studied nevertheless there are very few where the interrelation among these concepts are discussed. We want to mainly focus on this direction and see what kind of relationship arises between these concepts when we study different agents with different knowledge (belief) properties. Also we want to see how trust is related with common belief.

STSM Report

SetPageWidth