Oi Adolfo. Eu gosto bastante do "Modal Logic", de Blackburn, de Rijke e Venema. Eu aprendi pelas notas de aula do Dov+Ian Hodkinson e pelo Chelas.
Para model checking, apoio a sugestão do JM de "Logic in Computer Science", de Huth & Ryan. []s Marcelo 2014-02-17 18:04 GMT-03:00 Joao Marcos <botoc...@gmail.com>: > Olá, Adolfo: > > Qual o seu objetivo, ao aprender sobre Lógica Modal? (A resposta a esta > questão é *muito importante* na decisão de qual material de estudos > escolher.) > > De maneira geral, hoje, provavelmente o melhor livro do mercado é "Modal > Logic", de Blackburn, de Rijke e Venema, e em particular para aprender > sobre semântica e álgebra modal. > > O "New Introduction", do Hughes & Cresswell, é um clássico, por razões > históricas e para aprender sobre tableaux modais. O livro é voltado, > contudo, para um público da área de Filosofia. > > Agora, se você quer conhecer mais sobre aplicações de lógicas temporais em > "model checking", há um bom capítulo a este respeito no "Logic in Computer > Science", de Huth & Ryan. > > Não recomendo o artigo da SEP. > > Para dedução natural rotulada, em lógicas modais, você pode consultar o > capítulo 4 do nosso livro: > http://www.dimap.ufrn.br/~jmarcos/courses/LC/Ementa.htm > > JM > > > On Mon, Feb 17, 2014 at 4:50 PM, Adolfo Neto > <ado...@dainf.ct.utfpr.edu.br>wrote: > >> Olá, >> >> Estou querendo estudar Lógica Modal/Lógicas Modais, algo que nunca estudei >> a sério. >> >> Pesquisando rapidamente encontrei estes livros/links: >> >> Handbook of Modal Logic >> http://cgi.csc.liv.ac.uk/~frank/MLHandbook// >> >> Kripke's Worlds >> An Introduction to Modal Logics via Tableaux >> http://www.springer.com/birkhauser/mathematics/book/978-3-7643-8503-3 >> >> Modal Logic na SEP >> http://plato.stanford.edu/entries/logic-modal/ >> >> >> O objetivo é apenas conhecer superficialmente lógicas modais. >> >> Tem alguma coisa melhor que vocês recomendam? >> >> Abraços, >> >> Adolfo >> >> -- >> >> >> ================================================================== >> Adolfo Neto >> Assistant Professor - Federal University of Technology, Paraná >> Web: http://www.dainf.ct.utfpr.edu.br/~adolfo >> Twitter: http://twitter.com/adolfont >> Mestrado em Computação Aplicada: http://www.ppgca.ct.utfpr.edu.br >> ================================================================== >> >> -------------------------------------------- >> Q: Why is this email three sentences or less? >> A: http://three.sentenc.es >> _______________________________________________ >> Logica-l mailing list >> Logica-l@dimap.ufrn.br >> http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l >> > > > > -- > http://sequiturquodlibet.googlepages.com/ > _______________________________________________ > Logica-l mailing list > Logica-l@dimap.ufrn.br > http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l > -- Marcelo Finger 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
