E Christoph Benzmüller publicou no número especial de Logica Universalis que Pizzi e eu editamnos (accesso livre via Portal Capes):
Logica Universalis Volume 7, Issue 1, March 2013 Special Issue on Multimodal Logics Edited by Walter Carnielli and Claudio Pizzi http://link.springer.com/journal/11787/7/1/page/1 Christoph Benzmüller, Lawrence C. Paulson. Quantified Multimodal Logics in Simple Type Theory. Pages 7-20 Walter > Ele estava em Viena, creio. > > > 2013/11/6 Vivek Nigam <[email protected]> > >> Só uma observação, um dos autores do trabalho é brasileiro: Bruno >> Woltzenlogel Paleo. >> >> >> On Wed, Oct 30, 2013 at 11:30 PM, Joao Marcos <[email protected]> wrote: >> >> > >> > >> http://www.spiegel.de/international/germany/scientists-use-computer-to-mathematically-prove-goedel-god-theorem-a-928668.html >> > >> > já não é mais segredo: o argumento ontológico gödeliano foi automatizado. >> > >> > jm >> > _______________________________________________ >> > Logica-l mailing list >> > [email protected] >> > http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l >> > >> _______________________________________________ >> Logica-l mailing list >> [email protected] >> http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l >> > > > > -- > fad > > ahhata alati, awienta Wilushati > _______________________________________________ > Logica-l mailing list > [email protected] > http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l -- ----------------------------------------------- Prof. Dr. Walter Carnielli Director Centre for Logic, Epistemology and the History of Science – CLE State University of Campinas –UNICAMP 13083-859 Campinas -SP, Brazil Phone: (+55) (19) 3521-6517 Fax: (+55) (19) 3289-3269 Institutional e-mail: [email protected] Website: http://www.cle.unicamp.br/prof/carnielli _______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
