Menu Principal

Developed in conjunction with Ext-Joom.com

LoLITA Seminar - 13Nov2013 - Claudia Nalon (UnB) - A resolution-based calculus for Coalition Logic

Another event promoted by the LoLITA (Group for Logic, Language, Information, Theory and Applications).

When: 
15:00, Nov 13, 2013

Where:
Meeting Room DIMAp / UFRN

Speaker:
Claudia Nalon (UnB)

Talk:
A resolution-based calculus for Coalition Logic 

Resumo: 
Lógicas de Coalisão formalizam aspectos de representação e raciocínio relativos a decisões tomadas socialmente por agentes: um grupo de agentes pode se reunir para forçar ou impedir determinado fato (ou seja, a satisfação de uma fórmula). Nesta palestra, iremos apresentar a Lógica de Coalisão proposta por Pauly (2002), bem como um método de prova baseado em resolução (2013) para tal lógica.