Modelling intelligent interaction - Logic in the Humanities, Social and Computational sciences

Project: Research

Description

Modelling intelligent interaction is a pervasive but also elusive interdisciplinary phenomenon. The project will base on logical models applied in the thematic areas of Interaction, Communication, Computation, and Cognition.
AcronymLogiCCC
StatusFinished
Effective start/end date9/12/0731/12/11

Keywords

  • Game theory
  • logic
  • modal logic
  • program verification