Logic

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

More specific information is included in each subfield.

Subfields and Concepts

• 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

Lecture Notes

• Logic by Yiannis Moschovakis
• Mathematical Logic by Lou van den Dries

Books

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.

Software

• Prolog

See also

• Algorithms
• Machine Learning

Other Resources

• What's the difference between predicate and propositional logic?