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 :
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 pa
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 Lo
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.co
Infelizmente, a vinda de Eric Finster ficou inviabilizada.
O curso está, portanto, CANCELADO.
Pedimos desculpas pelos inconvenientes causados.
Ruy
2014-02-16 7:57 GMT-03:00 Ruy de Queiroz :
> Aula de 2a.feira está CANCELADA!
>
> O palestrante não conseguiu embarcar e perdeu o vôo.
>
> Até s
*Call For Papers*
*The Student Session of the Third East-Asian School on Logic, Language and
Computation (EASLLC 2014)*
The Third East-Asian School on Logic, Language and Computation
(EASLLC2014) will take place at
Tsinghua University, China on July 2-8, 2014. The event will start with an
int
