Overall objectives:

1 - To develop skills in modelling, abstraction, and deductive reasoning.
2 - To foster an interest in scientific research and develop communication and teamwork skills.
3 - To develop the ability to model abstract concepts using logic, apply deductive practices, and construct formal models, as well as to undertake meta-logical studies of completeness.
4 - To understand the foundations of modal, propositional, and first-order logics, together with some of their main branches.
5 - To understand the motivations and basic concepts underlying the logic of belief change.
6 - To become familiar with the AGM model, its principal limitations, and some of its extensions.

Syllabus:

1 - Normal modal logics: axiomatization, possible worlds semantics, soundness, completeness, finite model property, and decidability.
2 - Introduction to first-order normal modal logics.
3 - Non-normal propositional modal logics and minimal models.
4 - Some bifurcations of modal logics and their application in different domains.
5 - Basic concepts of the logic of belief change.
6 - The AGM model of theory change.
7 - Extensions of the AGM model.

Literature/Sources:

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

Assesssment methods and criteria:

Classification Type: Quantitativa (0-20)

Evaluation Methodology:
Theoretical expository classes; Practical problem-solving classes. The assessment consists of two written tests (to be answered individually), each worth 40% of the grade, and a group project with an oral presentation, worth 20%. Tests can be recovery in appeal, but the group project cannot. With respect to the special season, the assessment will consist of an overall exam.