Re: [Logica-l] Concerning Hybrid Logics
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 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 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 Elaine Pimentel elaine.pimen...@gmail.com 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 valeria.depa...@gmail.com: 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 levam essa ideia ao seu desenvolvimento natural. se voce vai etiquetar as formulas pra dizer onde elas sao validas, em vez de colocar no sistema dedutivo simplesmente a relacao de acessibilidade do modelo, pode colocar os mundos tambem e usa-los nas formulas como cidadaos de primeira classe. e isso te da', como bem disse o Mario, muito mais expressividade no sistema. a minha resposta pro Tony nao 'e discordando da do Mario, mas sim explicando o que *eu* vejo de interessante... Como a gente ja conversou muitas vezes, eu tenho varios problemas emocionais com todos os formalismos que fazem essa coisa de fazer a semantica parte da sintaxe, pois eu acho que isso 'e meio cheating,filosoficamente. tb 'e dar uma primazia especial aas semanticas de mundos possiveis que eu nao sei se elas teem), mas a gente quer usar sistemas modais, a gente quer fazer contas/descobrir provas neles, e isso certamente 'e uma solucao implementavel... vamos conversando e melhorando o nosso entendimento dos nossos sistemas, ne? abs Valeria On Mon, May 21, 2012 at 2:49 PM, Joao Marcos botoc...@gmail.com wrote: 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 à linguagem-objeto. Como resultado, regras de dedução natural extremamente simples para os principais sistemas modais podem ser definidas, tal como ilustradas no livro Labelled Non-Classical Logics, de Luca Viganò --- ou no seguinte material nosso, em português: http://www.dimap.ufrn.br/~jmarcos/courses/LC/Cap4.pdf As lógicas híbridas, claro, vão muito além disso, sendo baseadas em linguagens legitimamente *mais expressivas* do ponto de vista das estruturas relacionais por elas caracterizadas, como Mário bem chamou a atenção em sua mensagem. Abraços, Joao Marcos On Sat, May 19, 2012 at 1:01 PM, Valeria de Paiva valeria.depa...@gmail.com wrote: 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 i've spent an enjoyable half an hour trying to find the slides to send you, but have not. the reader for the course is available www.stanford.edu/group/nasslli/courses/*blackburn*/reader.pdf. in particular interpolation results are recovered: (Repairing the Interpolation Theorem in Quantified Modal Logichttp://www.loria.fr/%7Eblackbur/papers/repairing.pdf, by Carlos Areces, Patrick Blackburn and Maarten Marx. *Annals of Pure and Applied Logic*, 124, 287-299, 2003. ) but for me the big payoff was on cut-elimination results for several systems. Patrick's lectures were impressive enough to make me investigate constructive versions of hybrid logics with Torben Brauner to begin with and more recently with Herman Hauesler and Alexandre Rademaker. and yes, satisfaction operators do behave like modal operators. but no, it's not simply giving new names to old things, since using
Re: [Logica-l] Concerning Hybrid Logics
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 valeria.depa...@gmail.comescreveu: 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 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 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 Elaine Pimentel elaine.pimen...@gmail.com 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 valeria.depa...@gmail.com: 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 levam essa ideia ao seu desenvolvimento natural. se voce vai etiquetar as formulas pra dizer onde elas sao validas, em vez de colocar no sistema dedutivo simplesmente a relacao de acessibilidade do modelo, pode colocar os mundos tambem e usa-los nas formulas como cidadaos de primeira classe. e isso te da', como bem disse o Mario, muito mais expressividade no sistema. a minha resposta pro Tony nao 'e discordando da do Mario, mas sim explicando o que *eu* vejo de interessante... Como a gente ja conversou muitas vezes, eu tenho varios problemas emocionais com todos os formalismos que fazem essa coisa de fazer a semantica parte da sintaxe, pois eu acho que isso 'e meio cheating,filosoficamente. tb 'e dar uma primazia especial aas semanticas de mundos possiveis que eu nao sei se elas teem), mas a gente quer usar sistemas modais, a gente quer fazer contas/descobrir provas neles, e isso certamente 'e uma solucao implementavel... vamos conversando e melhorando o nosso entendimento dos nossos sistemas, ne? abs Valeria On Mon, May 21, 2012 at 2:49 PM, Joao Marcos botoc...@gmail.com wrote: 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 à linguagem-objeto. Como resultado, regras de dedução natural extremamente simples para os principais sistemas modais podem ser definidas, tal como ilustradas no livro Labelled Non-Classical Logics, de Luca Viganò --- ou no seguinte material nosso, em português: http://www.dimap.ufrn.br/~jmarcos/courses/LC/Cap4.pdf As lógicas híbridas, claro, vão muito além disso, sendo baseadas em linguagens legitimamente *mais expressivas* do ponto de vista das estruturas relacionais por elas caracterizadas, como Mário bem chamou a atenção em sua mensagem. Abraços, Joao Marcos On Sat, May 19, 2012 at 1:01 PM, Valeria de Paiva valeria.depa...@gmail.com wrote: 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 i've spent an enjoyable half an hour trying to find the slides to send you, but have not. the reader for the course is available www.stanford.edu/group/nasslli/courses/*blackburn*/reader.pdf. in particular interpolation results are recovered: (Repairing the Interpolation Theorem in Quantified Modal Logichttp://www.loria.fr/%7Eblackbur/papers/repairing.pdf, by Carlos Areces, Patrick Blackburn and Maarten Marx. *Annals of Pure and Applied Logic*, 124, 287-299, 2003. ) but for me the big payoff was on cut-elimination results for several systems. Patrick's lectures were impressive enough to make me
Re: [Logica-l] Concerning Hybrid Logics
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, Mario Em 23 de maio de 2012 09:09, Valeria de Paiva valeria.depa...@gmail.comescreveu: 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 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.com escreveu: 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 Elaine Pimentel elaine.pimen...@gmail.com 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 valeria.depa...@gmail.com: 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 levam essa ideia ao seu desenvolvimento natural. se voce vai etiquetar as formulas pra dizer onde elas sao validas, em vez de colocar no sistema dedutivo simplesmente a relacao de acessibilidade do modelo, pode colocar os mundos tambem e usa-los nas formulas como cidadaos de primeira classe. e isso te da', como bem disse o Mario, muito mais expressividade no sistema. a minha resposta pro Tony nao 'e discordando da do Mario, mas sim explicando o que *eu* vejo de interessante... Como a gente ja conversou muitas vezes, eu tenho varios problemas emocionais com todos os formalismos que fazem essa coisa de fazer a semantica parte da sintaxe, pois eu acho que isso 'e meio cheating,filosoficamente. tb 'e dar uma primazia especial aas semanticas de mundos possiveis que eu nao sei se elas teem), mas a gente quer usar sistemas modais, a gente quer fazer contas/descobrir provas neles, e isso certamente 'e uma solucao implementavel... vamos conversando e melhorando o nosso entendimento dos nossos sistemas, ne? abs Valeria On Mon, May 21, 2012 at 2:49 PM, Joao Marcos botoc...@gmail.com wrote: 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 à linguagem-objeto. Como resultado, regras de dedução natural extremamente simples para os principais sistemas modais podem ser definidas, tal como ilustradas no livro Labelled Non-Classical Logics, de Luca Viganò --- ou no seguinte material nosso, em português: http://www.dimap.ufrn.br/~jmarcos/courses/LC/Cap4.pdf As lógicas híbridas, claro, vão muito além disso, sendo baseadas em linguagens legitimamente *mais expressivas* do ponto de vista das estruturas relacionais por elas caracterizadas, como Mário bem chamou a atenção em sua mensagem. Abraços, Joao Marcos On Sat, May 19, 2012 at 1:01 PM, Valeria de Paiva valeria.depa...@gmail.com wrote: 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 i've spent an enjoyable half an hour trying to find the slides to send you, but have not. the reader for the course is available www.stanford.edu/group/nasslli/courses/*blackburn*/reader.pdf. in particular interpolation results are recovered: (Repairing the Interpolation Theorem in Quantified Modal Logichttp://www.loria.fr/%7Eblackbur/papers/repairing.pdf, by Carlos Areces, Patrick Blackburn and Maarten Marx. *Annals of Pure and Applied Logic*, 124, 287-299, 2003. ) but for me the big payoff was on cut-elimination results
Re: [Logica-l] Concerning Hybrid Logics
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 gerar sistemas baseados em cálculo de sequentes para lógicas modais. Abraco, Elaine. 2012/5/21 Valeria de Paiva valeria.depa...@gmail.com: 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 levam essa ideia ao seu desenvolvimento natural. se voce vai etiquetar as formulas pra dizer onde elas sao validas, em vez de colocar no sistema dedutivo simplesmente a relacao de acessibilidade do modelo, pode colocar os mundos tambem e usa-los nas formulas como cidadaos de primeira classe. e isso te da', como bem disse o Mario, muito mais expressividade no sistema. a minha resposta pro Tony nao 'e discordando da do Mario, mas sim explicando o que *eu* vejo de interessante... Como a gente ja conversou muitas vezes, eu tenho varios problemas emocionais com todos os formalismos que fazem essa coisa de fazer a semantica parte da sintaxe, pois eu acho que isso 'e meio cheating,filosoficamente. tb 'e dar uma primazia especial aas semanticas de mundos possiveis que eu nao sei se elas teem), mas a gente quer usar sistemas modais, a gente quer fazer contas/descobrir provas neles, e isso certamente 'e uma solucao implementavel... vamos conversando e melhorando o nosso entendimento dos nossos sistemas, ne? abs Valeria On Mon, May 21, 2012 at 2:49 PM, Joao Marcos botoc...@gmail.com wrote: 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 à linguagem-objeto. Como resultado, regras de dedução natural extremamente simples para os principais sistemas modais podem ser definidas, tal como ilustradas no livro Labelled Non-Classical Logics, de Luca Viganò --- ou no seguinte material nosso, em português: http://www.dimap.ufrn.br/~jmarcos/courses/LC/Cap4.pdf As lógicas híbridas, claro, vão muito além disso, sendo baseadas em linguagens legitimamente *mais expressivas* do ponto de vista das estruturas relacionais por elas caracterizadas, como Mário bem chamou a atenção em sua mensagem. Abraços, Joao Marcos On Sat, May 19, 2012 at 1:01 PM, Valeria de Paiva valeria.depa...@gmail.com wrote: 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 i've spent an enjoyable half an hour trying to find the slides to send you, but have not. the reader for the course is available www.stanford.edu/group/nasslli/courses/*blackburn*/reader.pdf. in particular interpolation results are recovered: (Repairing the Interpolation Theorem in Quantified Modal Logichttp://www.loria.fr/%7Eblackbur/papers/repairing.pdf, by Carlos Areces, Patrick Blackburn and Maarten Marx. *Annals of Pure and Applied Logic*, 124, 287-299, 2003. ) but for me the big payoff was on cut-elimination results for several systems. Patrick's lectures were impressive enough to make me investigate constructive versions of hybrid logics with Torben Brauner to begin with and more recently with Herman Hauesler and Alexandre Rademaker. and yes, satisfaction operators do behave like modal operators. but no, it's not simply giving new names to old things, since using the satisfaction operators and internalizing the models as part of your syntax you genuinely get a different logic system, which has different inferential properties and which you can implement and do more things with. at least this is my take. []s, Valeria -- http://sequiturquodlibet.googlepages.com/ -- Valeria de Paiva http://www.cs.bham.ac.uk/~vdp/ http://valeriadepaiva.org/www/ ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l -- Elaine. Elaine Pimentel Departamento de Matematicas Universidad del Valle Calle 13 No. 100 - 00 ; Edificio 320. Ciudadela Universitaria Melendez Cali, Colombia
Re: [Logica-l] Concerning Hybrid Logics
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 Elaine Pimentel elaine.pimen...@gmail.com 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 valeria.depa...@gmail.com: 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 levam essa ideia ao seu desenvolvimento natural. se voce vai etiquetar as formulas pra dizer onde elas sao validas, em vez de colocar no sistema dedutivo simplesmente a relacao de acessibilidade do modelo, pode colocar os mundos tambem e usa-los nas formulas como cidadaos de primeira classe. e isso te da', como bem disse o Mario, muito mais expressividade no sistema. a minha resposta pro Tony nao 'e discordando da do Mario, mas sim explicando o que *eu* vejo de interessante... Como a gente ja conversou muitas vezes, eu tenho varios problemas emocionais com todos os formalismos que fazem essa coisa de fazer a semantica parte da sintaxe, pois eu acho que isso 'e meio cheating,filosoficamente. tb 'e dar uma primazia especial aas semanticas de mundos possiveis que eu nao sei se elas teem), mas a gente quer usar sistemas modais, a gente quer fazer contas/descobrir provas neles, e isso certamente 'e uma solucao implementavel... vamos conversando e melhorando o nosso entendimento dos nossos sistemas, ne? abs Valeria On Mon, May 21, 2012 at 2:49 PM, Joao Marcos botoc...@gmail.com wrote: 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 à linguagem-objeto. Como resultado, regras de dedução natural extremamente simples para os principais sistemas modais podem ser definidas, tal como ilustradas no livro Labelled Non-Classical Logics, de Luca Viganò --- ou no seguinte material nosso, em português: http://www.dimap.ufrn.br/~jmarcos/courses/LC/Cap4.pdf As lógicas híbridas, claro, vão muito além disso, sendo baseadas em linguagens legitimamente *mais expressivas* do ponto de vista das estruturas relacionais por elas caracterizadas, como Mário bem chamou a atenção em sua mensagem. Abraços, Joao Marcos On Sat, May 19, 2012 at 1:01 PM, Valeria de Paiva valeria.depa...@gmail.com wrote: 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 i've spent an enjoyable half an hour trying to find the slides to send you, but have not. the reader for the course is available www.stanford.edu/group/nasslli/courses/*blackburn*/reader.pdf. in particular interpolation results are recovered: (Repairing the Interpolation Theorem in Quantified Modal Logichttp://www.loria.fr/%7Eblackbur/papers/repairing.pdf, by Carlos Areces, Patrick Blackburn and Maarten Marx. *Annals of Pure and Applied Logic*, 124, 287-299, 2003. ) but for me the big payoff was on cut-elimination results for several systems. Patrick's lectures were impressive enough to make me investigate constructive versions of hybrid logics with Torben Brauner to begin with and more recently with Herman Hauesler and Alexandre Rademaker. and yes, satisfaction operators do behave like modal operators. but no, it's not simply giving new names to old things, since using the satisfaction operators and internalizing the models as part of your syntax you genuinely get a different logic system, which has different inferential properties and which you can implement and do more things with. at least this is my take. []s, Valeria -- http://sequiturquodlibet.googlepages.com/ -- Valeria de Paiva http://www.cs.bham.ac.uk/~vdp/ http://valeriadepaiva.org/www/ ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l -- Elaine.
Re: [Logica-l] Concerning Hybrid Logics
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 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 Elaine Pimentel elaine.pimen...@gmail.com 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 valeria.depa...@gmail.com: 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 levam essa ideia ao seu desenvolvimento natural. se voce vai etiquetar as formulas pra dizer onde elas sao validas, em vez de colocar no sistema dedutivo simplesmente a relacao de acessibilidade do modelo, pode colocar os mundos tambem e usa-los nas formulas como cidadaos de primeira classe. e isso te da', como bem disse o Mario, muito mais expressividade no sistema. a minha resposta pro Tony nao 'e discordando da do Mario, mas sim explicando o que *eu* vejo de interessante... Como a gente ja conversou muitas vezes, eu tenho varios problemas emocionais com todos os formalismos que fazem essa coisa de fazer a semantica parte da sintaxe, pois eu acho que isso 'e meio cheating,filosoficamente. tb 'e dar uma primazia especial aas semanticas de mundos possiveis que eu nao sei se elas teem), mas a gente quer usar sistemas modais, a gente quer fazer contas/descobrir provas neles, e isso certamente 'e uma solucao implementavel... vamos conversando e melhorando o nosso entendimento dos nossos sistemas, ne? abs Valeria On Mon, May 21, 2012 at 2:49 PM, Joao Marcos botoc...@gmail.com wrote: 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 à linguagem-objeto. Como resultado, regras de dedução natural extremamente simples para os principais sistemas modais podem ser definidas, tal como ilustradas no livro Labelled Non-Classical Logics, de Luca Viganò --- ou no seguinte material nosso, em português: http://www.dimap.ufrn.br/~jmarcos/courses/LC/Cap4.pdf As lógicas híbridas, claro, vão muito além disso, sendo baseadas em linguagens legitimamente *mais expressivas* do ponto de vista das estruturas relacionais por elas caracterizadas, como Mário bem chamou a atenção em sua mensagem. Abraços, Joao Marcos On Sat, May 19, 2012 at 1:01 PM, Valeria de Paiva valeria.depa...@gmail.com wrote: 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 i've spent an enjoyable half an hour trying to find the slides to send you, but have not. the reader for the course is available www.stanford.edu/group/nasslli/courses/*blackburn*/reader.pdf. in particular interpolation results are recovered: (Repairing the Interpolation Theorem in Quantified Modal Logichttp://www.loria.fr/%7Eblackbur/papers/repairing.pdf, by Carlos Areces, Patrick Blackburn and Maarten Marx. *Annals of Pure and Applied Logic*, 124, 287-299, 2003. ) but for me the big payoff was on cut-elimination results for several systems. Patrick's lectures were impressive enough to make me investigate constructive versions of hybrid logics with Torben Brauner to begin with and more recently with Herman Hauesler and Alexandre Rademaker. and yes, satisfaction operators do behave like modal operators. but no, it's not simply giving new names to old things, since using the satisfaction operators and internalizing the models as part of your syntax you genuinely get a different logic system, which has different inferential properties and which you can implement and do more things with.
Re: [Logica-l] Concerning Hybrid Logics
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 i've spent an enjoyable half an hour trying to find the slides to send you, but have not. the reader for the course is available www.stanford.edu/group/nasslli/courses/*blackburn*/reader.pdf. in particular interpolation results are recovered: (Repairing the Interpolation Theorem in Quantified Modal Logichttp://www.loria.fr/%7Eblackbur/papers/repairing.pdf, by Carlos Areces, Patrick Blackburn and Maarten Marx. *Annals of Pure and Applied Logic*, 124, 287-299, 2003. ) but for me the big payoff was on cut-elimination results for several systems. Patrick's lectures were impressive enough to make me investigate constructive versions of hybrid logics with Torben Brauner to begin with and more recently with Herman Hauesler and Alexandre Rademaker. and yes, satisfaction operators do behave like modal operators. but no, it's not simply giving new names to old things, since using the satisfaction operators and internalizing the models as part of your syntax you genuinely get a different logic system, which has different inferential properties and which you can implement and do more things with. at least this is my take. []s, Valeria On Thu, May 17, 2012 at 8:12 PM, Tony Marmo marmo.t...@gmail.com wrote: 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 parameter covers that of nominals. 2. I'm not sure whether the modal operators are not satisfaction operators or vice-versa. Isn't it the same as giving new names to old things? I shall appreciate your opinions. Thank you very much, Tony Marmo ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l -- Valeria de Paiva http://www.cs.bham.ac.uk/~vdp/ http://valeriadepaiva.org/www/ ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
Re: [Logica-l] Concerning Hybrid Logics
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 Tony Marmo marmo.t...@gmail.com 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 parameter covers that of nominals. 2. I'm not sure whether the modal operators are not satisfaction operators or vice-versa. Isn't it the same as giving new names to old things? I shall appreciate your opinions. Thank you very much, Tony Marmo ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l -- Federal University of Rio de Janeiro www.cos.ufrj.br/~mario ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l