Hola, Daniel, Eu acho que vale a pena você dar uma olhada no livro Proof Analysis (Plato, Negri), que tem um capítulo muito legal (11) sobre representação de lógicas modais utilizando um sistema básico clássico (G3) e internalizando a semântica através de regras modais, obtendo o sistema G3K.
Não é primeira ordem, entretando, é proposicional. Abraços, Elaine. 2013/5/26 Daniel Durante <dura...@ufrnet.br> > Colegas, > > Tenho uma dúvida boba que certamente vocês podem me ajudar. Lendo algumas > coisas básicas sobre lógica temporal, vi que uma maneira de tratar o > assunto, que é inclusive expressivamente mais poderosa que a maneira padrão > com operadores modais (temporais) é, no lugar disso, regimentar o discurso > temporal em uma teoria de primeira ordem clássica. Ou seja, ao invés de > operadores modais temporais, com regras de dedução e/ou axiomas próprios, > teríamos simplesmente uma teoria de primeira ordem clássica que tem > instantes de tempo (ou estados temporais "do mundo") como objetos (ou valor > de suas variáveis) e a ordem temporal como a relação cujas propriedades os > axiomas da teoria descrevem. > Apesar desta abordagem ser mais ou menos comum para a lógica temporal, em > uma rápida pesquisa eu não encontrei muita coisa sobre a regimentação das > lógicas modais em geral em teorias clássicas de primeira ordem, que teriam > estados possíveis do mundo como objetos e a acessibilidade como relação > axiomatizada. Vi algo sobre S5 e a lógica de predicados monádicos, mas nada > mais. > Bem, minha pergunta é por referências mesmo, que certamente deve haver. > Alguém poderia me indicar algumas referências sobre o assunto? > > Saudações, > Daniel. > _______________________________________________ > Logica-l mailing list > Logica-l@dimap.ufrn.br > http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l > -- Elaine. ------------------------------------------------- Elaine Pimentel - DMat/UFMG Address: Departamento de Matematica Universidade Federal de Minas Gerais Av Antonio Carlos, 6627 - C.P. 702 Pampulha - CEP 30.161-970 Belo Horizonte - Minas Gerais - Brazil Phone: 55 31 3409-5970/3409-5994 Fax: 55 31 3409-5692 htps://sites.google.com/site/elainepimentel/ -------------------------------------------------------- _______________________________________________ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
