Obrigado por todas as indicações! Meu objetivo inicial é só satisfazer minha curiosidade e saber o que são lógicas modais, João. Depois, quem sabe, pensarei em algo mais elaborado. Mas a motivação foi a consulta de dois colegas que trabalham com sistemas multi agentes.
Adolfo Neto Em 17/02/2014 19:56, "Marcelo Finger" <mfin...@ime.usp.br> escreveu: > 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
