ah, ok. obrigada,
abs
valeria
2012/5/23 Mario Benevides
> Oi Valéria,
>
> Acrescentar nominais e @ normalmente não muda a complexidade de problemas
> de validade, satisfabilidade e verificação de modelos. Isto é bem
> interessante do ponto de vista computacional.
>
> Um abraço,
>
> Mario
>
> Em
Oi Valéria,
Acrescentar nominais e @ normalmente não muda a complexidade de problemas
de validade, satisfabilidade e verificação de modelos. Isto é bem
interessante do ponto de vista computacional.
Um abraço,
Mario
Em 23 de maio de 2012 09:09, Valeria de Paiva
escreveu:
> nao entendi Mario...t
nao entendi Mario...tem alguma definicao formal de hibridizacao ou e' so' a
ideia intuitiva de pegar uma logica modal e adicionar nominais da menor
maneira possivel?
Valeria
2012/5/22 Mario Benevides
> Caros,
>
> Um outro aspecto muito interessante é que, *normalmente*, a
> "hibridização" (não
Caros,
Um outro aspecto muito interessante é que, *normalmente*, a "hibridização"
(não estou falando de binders) de uma lógica modal não aumenta a
complexidade de lógica modal por baixo.
Um abraço,
Mario
Em 22 de maio de 2012 11:21, Valeria de Paiva
escreveu:
> oi Elaine,
> A Sara tem sim, ma
oi Elaine,
A Sara tem sim, mas me parece que 'e o mesmo truque/insight do
Vigano/Simpson, so' que em forma de sequentes em vez de deducao natural, o
que voce gosta mais...!
as limitacoes dos metodos tb sao semelhantes, teorias geometricas.
all good stuff, como se diz por ai.
abs
valeria
2012/5/22
Muito obrigado à Valéria pelas referências que me passou. São muito ricas!
Em 22 de maio de 2012 10:58, Elaine Pimentel
escreveu:
> Olas!
>
> Eu nao vou ter tempo agora de escrever muito, mas acho que vale a pena
> dizer que me parece que a Sara Negri tem um "procedure" para gerar
> sistemas bas
Olas!
Eu nao vou ter tempo agora de escrever muito, mas acho que vale a pena
dizer que me parece que a Sara Negri tem um "procedure" para gerar
sistemas baseados em cálculo de sequentes para lógicas modais.
Abraco,
Elaine.
2012/5/21 Valeria de Paiva :
> oi Joao Marcos,
> com certeza, o estilo d
oi Joao Marcos,
com certeza, o estilo de deducao natural do Basin, Vigano e Matthews, que o
Luca explicou muito melhor no livro e' uma outra maneira de consertar os
formalismos dedutivos modais, da mesma forma que os sistemas do Simpson tb
o sao, pra logica modal intuicionista.
as logicas hibridas
Olá, Valeria:
Acho que vale a pena recordar ainda que há uma outra maneira bastante
simples de "consertar" os formalismos dedutivos modais, pelo acréscimo
de etiquetas (representando termos de uma assinatura de primeira ordem
adequada) sobre fórmulas modais e a adição de fórmulas relacionais à
lin
Tony,
as far as I'm concerned the real advantage of hybrid logics over multimodal
logics is on their proof theoretical aspects, hybrid logics are much better
behaved than modal logics as far as their proof theory goes. Patrick
Blackburn gave a course in nasslli2002 where he pressed this point and
Dear Tony,
Some Hybrid logics have the same expressive power of FOL. But even the
basic hybrid logic is not bisimulation-invariant while modal logics, in
general, are. Some properties like irreflexivity, intransitivity are not
definable in BML but are in BHL.
All the best,
Mario
2012/5/18 Ton
Dear colleagues and friends,
I write to inquire the following concerning hybrid logics:
1. Firstly, I wonder whether hybrid logic languages have a real advantage
in relation to *multi-modal logics*, for instance, if the former are really
more expressive than the latter, or if the notion of parame
12 matches
Mail list logo
