Logic of Computation and Information

Students will acquire in-depth knowledge and skills on current research topics in modal, multi-agent, and computational and informational logics, as well as their applications in Artificial Intelligence.

Students will acquire the ability to:
- critically analyze the arguments and concepts underlying different logics and their applications;
- discuss and compare different philosophical positions that characterize the various logics;
- reflect on complex and articulated philosophical positions that either underpin or result from the definition of different logics and their applications;
- adopt their own stance in a philosophical debate on the foundations and consequences of the logics under study, and put forward arguments in support of it;
- effectively communicate the results of their research, including through multimedia techniques for presenting information, with possible applications in teaching;
- use relational, communicative, and organizational skills even in highly complex contexts and in managing group work;
- convey the acquired skills even in non-specialist contexts;
- reflect on their own abilities and on the evaluations received;
- independently search for the philosophical sources of a debate or school of thought underlying the logics studied;
- independently explore in depth a philosophical position or theoretical thesis underlying the logics studied.