KMI/NLO Non-Classical Logics

Lecturer: Vilém Vychodil
Lecture: 2 hours/week + exercise 1 hour/week
Credits: 4
Winter semester
Form of course completion: credit course, exam

The course provides an introduction to non-classical logics, particularly to selected logics used in computer science.

• Modal logics.
• Temporal logics.
• Many-valued and fuzzy logics.
• Intuitionism and intuitionistic logic.
• Selected applications of non-classical logics.