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
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
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
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
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
alo,
a tese do Simpson, que 'e um primor de bem-escrita, esta' ficando um
pouquinho 'outdated'. esta' disponivel em
http://homepages.inf.ed.ac.uk/als/Research/*thesis*.pdf
meu paper com o Torben tb esta' disponivel (em tres versoes,conferencia, TR
e revista):
- *Towards Constructive Hybrid
Oi Valéria,
Muito obrigado pelos links! Minha pilha de leitura está aumentando!
Daniel.
PS: se alguém tentou e não conseguiu baixar a tese do Simpson, basta apagar
os * da palavra thesis. O link abaixo funciona:
http://homepages.inf.ed.ac.uk/als/Research/thesis.pdf
+++
Em
Colegas,
Muito obrigado MESMO pelas referências, já comecei estudar, e elas certamente
me pouparão muito TEMPO :) E também confirmam minha suspeita de que o assunto
era mesmo bem desenvolvido. Aproveito, então, e deixo a vocês uma pergunta
séria, mas que vou formular em termos lúdicos: suponha
hmm, obrigada JM pela referencia elogiosa ao meu trabalho com o Torben
sobre Deducao Natural pra logica hibrida construtiva!
mas e':
(É inteiramente misteriosa para mim a razão
pela qual outros autores gastam tempo sobre sistemas dedutivos ad hoc
para esta ou aquela lógica modal, dado que
Oi Daniel.
Em relação à sua pergunta:
A pergunta, então, é: tem alguma lógica não-clássica que eu não vou conseguir
resolver no meu software, simulando-a como uma teoria de primeira ordem
clássica?
Bom, pra não ser simulável em primeira ordem, que é turing completa, a
lógica teria de mais
Oi Daniel,
Não sei entendi sua pergunta. Mas em Lógicas temporais o uso de operadores
que são definidos usando-se fecho transitivo ou ponto fixo é bem comum, por
exemplo o Until. Voce não irá conseguir expressá-los no sistema Fitch.
Um abraço,
Mario
Em 27 de maio de 2013 15:42, Marcelo Finger
Hola, Valéria e João.
Bem, eu ia me abster de responder, mas resolvi fazer um comentário rápido.
Em primeiro lugar, eu nunca disse que a Sara inventou sistemas rotulados. O
que eu disse foi que o cap 11 do livro de Proof Analysis é um bom lugar
para ler sobre sistemas modais rotulados baseados
2013/5/27 Elaine Pimentel escreveu:
Em primeiro lugar, eu nunca disse que a Sara inventou sistemas rotulados.
Ei, eu não disse que você disse. :-) Mas não pude perder a chance de
espicaçar a Sara, que é uma pessoa de uma antipatia cristalina. O
cúmulo para mim foi ela lá no UNILOG interromper
Colegas,
Tenho uma dúvida boba que certamente vocês podem me ajudar. Lendo algumas
coisas básicas sobre lógica temporal, vi que uma maneira de tratar o assunto,
que é inclusive expressivamente mais poderosa que a maneira padrão com
operadores modais (temporais) é, no lugar disso, regimentar o
Eu acho que vale a pena você dar uma olhada no livro Proof Analysis (Plato,
Negri), que tem um capítulo muito legal (11) sobre representação de lógicas
modais utilizando um sistema básico clássico (G3) e internalizando a
semântica através de regras modais, obtendo o sistema G3K.
Há um
15 matches
Mail list logo