Logic for Multiagent Systems
Master 1st Year, Department of Computer Science,
Faculty of Mathematics and Computer Science,
Universitatea din Bucureşti,
1st Semester 2025/2026
Instructors:
Laurenţiu Leuştean,
Horaţiu Cheval
Administrative information
Informations about the exam can be found in Microsoft Teams.
Lectures:
Textbooks
- P. Blackburn, M. de Rijke, Y. Venema, Modal Logic,
Cambridge University Press, 2014.
- R. Fagin, J.Y. Halpern, Y. Moses, M. Vardi,
Reasoning About Knowledge, MIT
Press, 2004
- M. Wooldridge,
An Introduction to MultiAgent Systems - Second Edition, John Wiley & Sons, 2009
Useful links
- International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS)
- Gerhard Weiss (Ed.), Multiagent
Systems, Second Edition, MIT Press, 2013
- Y. Shoham, K. Leyton-Brown, Multiagent Systems
Algorithmic, Game-Theoretic, and Logical Foundations, Cambridge University Press, 2009
- Lean Programming Language and Theorem Prover
- Hoskinson Center for Formal Mathematics
- Alan Turing Institute
- Stuart Russell, Peter Norvig, Artificial Intelligence: A Modern
Approach, 4th ed., Pearson, 2020
- Neural-Symbolic Learning and Reasoning Association (NeSy AI)
Logic Books:
- G. Georgescu, Elemente de logică matematică, Academia Militară, 1978
- J.D. Monk, Mathematical Logic,
Springer Verlag, 1976.
- P. G. Hinman,
Fundamentals of mathematical logic, A K Peters, 2005.
- J. Shoenfield, Mathematical Logic. 2nd edition, Association for Symbolic Logic, 2001.
- M. Huth, M. Ryan, Logic in Computer Science.
Modelling and Reasoning about Systems. 2nd edition, Cambridge University Press,
2004.
- Five Big Red (Open Access) Logic Books