After successful completion of the course, students are able to recognize different motivations for extending, modifying, refining, and generalizing classical logic. In particular, successful participants know how to apply concepts and techniques of modal logic to model forms of reasoning, that refer to the knowlegde and ignorance of (idealized) agents. Moreover, they have aquired an overview over the wide and varied landscape of nonclassical logical formalisms.
Introduction into modal logic, in particular epistemic logic (logics of knowledge), intuitionistic logics, many valued logics, including fuzzy logics. In particular, a number of relevant results from proof theory and formal semantics (e.g., correctness, completeness, complexity of logics and calculi) are covered. Moreover also foundational problems relating to formal, logical modeling of important concepts in computer science will be discussed.
This term the course will take place online only, via posted lecture videos, augmented by live feedback sessions.
The first meeting, however, will be a live event via ZOOM on Monday, March 15, 14.00 (till about 15.30). The corresponding link (like all further details) will be posted at the TUWEL site for this course. (If you cannot join this meeting, but want to participate in the course, please drop me an email.)
Please register when you want to receive updates / further information. (No obligation to actually participate is entailed.)
The default method of evaluation refers to individual solutions to exercises that are to be handed in regularly during the whole course. If insufficient, this may be augmented by assignments of additional tasks or an online exam at the end of the course.
Registration comes without further obligations. It enables communication via TISS messaging.
Knowledge in classical propostional and first order logic