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 ma...@cos.ufrj.br
Caros,
Um outro aspecto muito interessante é que, *normalmente*, a
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
ah, ok. obrigada,
abs
valeria
2012/5/23 Mario Benevides ma...@cos.ufrj.br
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,
Muito obrigado à Valéria pelas referências que me passou. São muito ricas!
Em 22 de maio de 2012 10:58, Elaine Pimentel
elaine.pimen...@gmail.comescreveu:
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
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
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
valeria.depa...@gmail.comescreveu:
oi
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
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
