Loading Events
Find Events

Event Views Navigation

Upcoming Events

Events List Navigation

July 2018

Algebraic Proof Theory for Social Behaviour

July 2 @ 10:00 am - July 6 @ 5:00 pm

Dates 2-6 July 2018 Topic and aims The major trend in modern logic is the move from logic to logics. The need for formal modelling of reasoning in various fields of science (philosophy, linguistics, AI, cognitive, social and management sciences) led to the design of hundreds of bespoke logics. For instance, the focus on multi-agent interaction and social behaviour has led to the introduction of logics specific to contexts involving e.g. dynamic changes, uncertainty, incomplete and inconsistent information, which are…

Find out more »
+ iCal Import Listed Events