52 search results - page 11 / 11 » An institution of modal logics for coalgebras |
LORI
2009
Springer
13 years 11 months ago
2009
Springer
We propose a dynamic testimonial logic (DTL) to model communication and belief change among agents with different dispositions to trust each other as information sources. DTL is ...
ATAL
2009
Springer
13 years 11 months ago
2009
Springer
ion in model checking multi-agent systems Mika Cohen Department of Computing Imperial College London London, UK Mads Dam Access Linnaeus Center Royal Institute of Technology Stockh...