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
