Oi Daniel, Não sei entendi sua pergunta. Mas em Lógicas temporais o uso de operadores que são definidos usando-se fecho transitivo ou ponto fixo é bem comum, por exemplo o Until. Voce não irá conseguir expressá-los no sistema Fitch.
Um abraço, Mario Em 27 de maio de 2013 15:42, Marcelo Finger <mfin...@ime.usp.br> escreveu: > Oi Daniel. > > Em relação à sua pergunta: > > >A pergunta, então, é: tem alguma lógica não-clássica que eu não vou > conseguir resolver no meu software, simulando-a como uma teoria de primeira > ordem clássica? > > Bom, pra não ser simulável em primeira ordem, que é turing completa, a > lógica teria de "mais indecidível" que a lógica de primeira ordem. > > Agora, se a v quiser simulação em tempo polinomial, a coisa já fica > mais interessante. Tem muita lógica que é duplamente exponencial, ou > não elementar, e essas, certamente, v não consegue simular. Tente, por > exemplo, simular um produto de duas lógicas intuicionistas e v se > estrepa completamente. > > []s > > Marcelo > > > > > > Eu tenho um palpite, João. A razão pode ser histórica. No caso das > lógicas modais, por exemplo, a regimentação em primeira ordem só se tornou > possível depois que a semântica dos modelos de Kripke se estabeleceu. É > preciso muita reflexão para converter os conceitos de "necessidade" e > "possibilidade", que traduzem-se diretamente em operadores lógicos, em uma > relação binária entre estados possíveis do mundo (ou mundos possíveis) que > rotulam proposições! Outra esquisitice histórica da lógica modal é o nome > dos sistemas! K, T, B, S4, S4.3, S5? > > _______________________________________________ > > Logica-l mailing list > > Logica-l@dimap.ufrn.br > > http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l > > > > > > -- > Marcelo Finger > Department of Computer Science, Cornell University > > on leave from: > Departament of Computer Science, IME > University of Sao Paulo > http://www.ime.usp.br/~mfinger > _______________________________________________ > 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