Obrigado por todas as indicações!
Meu objetivo inicial é só satisfazer minha curiosidade e saber o que são
lógicas modais, João.
Depois, quem sabe, pensarei em algo mais elaborado.
Mas a motivação foi a consulta de dois colegas que trabalham com sistemas
multi agentes.
Adolfo Neto
Em 17/02/2014 1
1ST INTERNATIONAL WORKSHOP ABOUT SETS AND TOOLS (SETS 2014)
AFFILIATED TO ABZ 2014
TOULOUSE - FRANCE
CALL FOR PAPERS
AIM
Sets and constructs built upon them like relations, functions, sequences are
the main modeling ingredients of formalisms such as VDM, Z, B, or Event-B. Sets
also occur in t
