Oi, Valeria!
O encontro vai ser gravado 😊 Depois eu mando o link.
Mas o João pode lhe mandar os slides, paper, etc.
Beijo!
--
Elaine
> On Aug 4, 2016, at 12:50 AM, Valeria de Paiva
> wrote:
>
> Elaine,
> veja se voces podem colocar os slides online, por favor?
> eu nao sei o que sao "negati
OI Valéria.
Negative modalities são modalidades sempre precedidas por uma negação, tipo
\lnot\Box. Imagina axiomatiar uma lógica tipo S5 onde as modalidades
sempre ocorrem na sua forma negativa na axiomatização? Aí v define uma
outra modalidade, digamos NOT = \lnot Box, e nesta lógica, por exemp
Valeria, e demais colegas:
As "modalidades positivas" mais comuns, box e diamond, são
caracterizadas, nas lógicas modais normais, por serem monotônicas com
relação à noção de consequência:
se α ⊢ β, então #α ⊢ #β (onde # é diamond ou box)
Como consequência óbvia, segue que as lógicas correspondent
obrigada Elaine, Marcelo e Joao Marcos pelas respostas!
abs
Valeria
2016-08-04 7:04 GMT-07:00 Joao Marcos :
> Valeria, e demais colegas:
>
> As "modalidades positivas" mais comuns, box e diamond, são
> caracterizadas, nas lógicas modais normais, por serem monotônicas com
> relação à noção de cons
