From Ioannis Kourouklides
Jump to navigation Jump to search

This page contains resources about Logic in general and Automated Reasoning.

More specific information is included in each subfield.

Subfields and Concepts[edit]

  • First-Order Logic / Predicate Logic / Quantification Theory
  • Sequential Logic / Propositional Logic / Propositional Calculus
  • Modal Logic
  • Boolean Algebra / Boolean Logic / Digital Logic
  • Argumentation (in Artificial Intelligence)
  • Multi-Agent Systems / Self-Organized Systems
  • Probabilistic Reasoning
  • Inductive Vs Deductive Reasoning

Online Courses[edit]

Video Lectures[edit]

Lecture Notes[edit]


See References for more books.

  • Augusto, L. M. (2017). Logical consequences. Theory and applications: An introduction. London: College Publications.
  • Ben-Ari, M. (2003). Mathematical Logic for Computer Science (2nd ed.). Springer-Verlag.
  • Huth, M., Ryan, M. (2004). Logic in Computer Science: Modelling and Reasoning about Systems (2nd ed.). Cambridge University Press.
  • Burris, S. N. (1997). Logic for Mathematics and Computer Science. Prentice Hall.


  • Prolog

See also[edit]

Other Resources[edit]