Colegas, repassando:
Nos dias 2 e 3 de setembro, teremos o 8th Workshop on Logical and Semantic Frameworks, with Applications (LSFA) aqui no IME. As inscrições estão abertas e com preço reduzido até este final de semana: http://lsfa.ime.usp.br/lsfa2013/?page_id=51 A programação completa pode ser vista em http://lsfa.ime.usp.br/lsfa2013/?page_id=66. Além das palestras mais técnicas, no primeiro dia, serão oferecidos dois tutoriais: - First Steps in Hybrid Logics - Carlos Areces (Argentina) This tutorial introduce hybrid logics, a family of modal logics in which it is possible to name states (or times, or worlds, or situations, or nodes in parse trees, or people – indeed, whatever it is that the elements of the model are taken to represent). The tutorial has two major goals. The first is to provide an introduction to modal logics and then convey, as clearly as possible, the ideas and intuitions that have guided the development of hybrid logics. The second is to introduce a concrete skill: tableau-based hybrid deduction. - A Tour of Analytic Tableaux and Related Methods – Marcello D’Agostino (Italy) We provide an introduction to the method of analytic tableaux and discuss its relations with Gentzen’s sequent calculus and Natural Deduction. We then focus on the anomalies and limitations of the original method and discuss some more efficient variants such as the KE method and the Davis-Putnam procedure. mais: escrever para [email protected] -- ----------------------------------------------- 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
