Caro Adolfo, Cada um deve ter sua lista de livros de Lógica Modal preferidos. No seu caso eu recomendo os seguintes, por serem muito claros e informativos:
A New Introduction to Modal Logic G.E. Hughes and M.J. Cresswell http://www.amazon.com/A-New-Introduction-Modal-Logic/dp/0415126002 Modal Logic: An Introduction Brian F. Chellas http://www.amazon.com/Modal-Logic-Introduction-Brian-Chellas/dp/0521295157 Modalities and Multimodalities Walter Carnielli and Claudio Pizzi http://www.amazon.com/Modalities-Multimodalities-Logic-Epistemology-Science/dp/9048137624 Um abraço Marcelo 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 _______________________________________________ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
