Objetivos Gerais:

1 - Desenvolver capacidades de modelação, abstração e dedução.
2 - Desenvolver o interesse pela investigação científica e a capacidade de comunicação e trabalho em grupo.
3 - Desenvolver a capacidade de modelar conceitos abstratos usando lógica, aplicar práticas dedutivas e construir modelos formais, bem como realizar estudos meta-lógicos de completude.
4 - Compreender os fundamentos das lógicas modais, proposicionais e de primeira ordem e algumas das suas ramificações.
5 - Conhecer as motivações e os conceitos básicos da lógica da mudança de crenças.
6 - Conhecer o modelo AGM, as suas principais limitações e algumas das suas extensões.

Conteúdos / Programa:

1 - Lógicas modais normais: axiomatização, semântica dos mundos possíveis, correção, completude, propriedade dos modelos finitos e decidibilidade.
2 - Introdução às lógicas modais normais de 1ª ordem.
3 - Lógicas modais proposicionais não normais e modelos mínimos.
4 - Algumas ramificações da lógica modal e a sua aplicação em diferentes domínios.
5 - Conceitos básicos da lógica da mudança de crenças.
6 - O modelo AGM de mudança de teorias.
7 - Extensões do modelo AGM.

Bibliografia / Fontes de Informação:

Chellas, B.J. , 1980 , Modal Logic - An Introduction , Cambridge University Press
Fitting, M. & Mendelson, R.L. , 2023 , First-Order Modal Logic (Second edition) , Springer
Santos, F. & Carmo, J. , 1996 , Indirect Action, Influence and Responsability , Springer-Verlag, Workshops in Computing Series,
Harel, D., Kozen, D. & Tiuryn, J. , 2002 , Dynamic logic , Kluwer, Dordrecht
Carmo, J. & Jones, A.J.I. , 2002 , Deontic Logic and Contrary-to-Duties , Kluwer Academic Publishers
Fermé, E., Garapa, G. & Reis, M.D.L. , 2025 , Non-prioritized Belief Change , Springer
Hughes, G.E. & Cresswell, M.J. , 1996 , A New Introduction to Modal Logic , Routledge, London and New York
Pnueli, A. , 1977 , The temporal logic of programs. , IEEE Computer Society
Emerson, E.A., & J. Halpern, J. , 1985 , Decision Procedures and Expressiveness in the Temporal Logic of Branching Time , Journal of Computer and Systems Science, 30
Fermé, E., & Hansson, S. O. , 2018 , Belief Change: Introduction and Overview , Springer
Garapa, M. , 2017 , Advances on belief base dynamics ,
Gärdenfors P. , 1988 , Knowledge in Flux: Modeling the Dynamics of Epistemic States , Gärdenfors P. MIT Press
Hansson, S.O. , 1999 , A Textbook of Belief Dynamics: Theory Change and Database Updating, Applied Logic Series (vol. 11) , Kluwer Academic Publishers
Hansson, S.O. , 1999 , Logic of belief revision , Stanford University
Peppas, P. , 2010 , Belief revision , Elsevier
Demri, S., Goranko, V. & Lange, L. , 2016 , Temporal Logics in Computer Science , Cambridge University Press
Humberstone, L. , 2015 , Philosophical Applications of Modal Logic , College Publications, London
Garson, J. , 2013 , Modal Logic for Philosophers (Second Edition) , Cambridge University Press

Métodos e Critérios de Avaliação:

Tipo de Classificação: Quantitativa (0-20)

Metodologia de Avaliação:
Aulas teóricas expositivas; Aulas teórico-práticas destinadas à resolução de problemas. A avaliação é efetuada através de duas frequências (a resolver individualmente), com um peso de 40% cada, e de um trabalho de grupo com apresentação oral, com um peso de 20%. As frequências são suscetíveis de recuperação em recurso, mas o trabalho não. A avaliação em época especial constará de um exame global.