 Please register for this course in TISS.
(No negative consequences result from dropping the course later.)

If you want to participate, but could not join the first meeting on March 18
please drop an email to
chrisf@logic.at.
 From next week onwards, we will start the lectures at 1.10pm

The eighth (last) meeting takes place on
Monday, June 17, 1.10pm (sharp)
Seminar Room Gödel
Favoritenstraße 9 / ground floor
 There are no more exercises

For the last meeting you are invited to submit requests to discuss specific further topics to
Chris Fermüller.

Planned dates of meetings
(always Mondays 13.0015.00)
March 18, March 25, April 1, April 29, May 13, May 20, May 27, June 17, June 25
Seminar Room Gödel
Favoritenstraße 9 / ground floor
 short reminder on the main concepts
of classical first order logic
 informal classification and
overview over the vast area
of 'nonclassical logics' for orientation
 In the main part of the course we plan to cover the
following areas and topics:
 Modal logics (this will be our main topic):
 What are modal logics? What are they used for?
 Introduction into the general theory of modal logics:
syntax, (Kripke style) semantics,
proof systems, expressibility, 'correspondence theory',
relations between important modal logics, multimodal logics, ...
 Epistemic logic(s) (for modelling multiagent systems)
 Hints at other families of modal logics:
temporal logic, deontic logic, dynamic logic, provability logic, ...
 Constructive logic (intuitionistic logic):
 general motivation
 different semantics: Kripke/Beth style semantics,
BrouwerHeytingKolmogorov interpretation, topological semantics
 different proof systems: Hilbert type, sequent system(s),
'natural deduction', ...
 dialogue games characterizing constuctive (and other) logics
 Selected topics on other types of logics, e.g.,:
 many valued logics, fuzzy logics
 game semantics, dialogue games
 dynamic epistemic logic
 relevance logic
Basic knowledge about classical propositional and firstorder logic
as covered, e.g., in "Theoretische Informatik und Logik".
TEST YOURSELF whether you are fit for this course:
You should be able to prove without handwaving (and
preferably without consulting any book or notes)
that (forall x) (exists y) P(x,y) is a logical consequence of
(exists x) (forall y) P(y,x), and to (rigorously) show that
the converse does not hold.
In particular you should be able to present a formal definition
of the (logical) consequence relation and of a (formal)
model/interpretation of a classical firstorder formula.
The course will take place in slightly blocked form on 9 or 10
Mondays.
Various course material  in particular copies of the lecture slides, including
the homework problems ('exercises') 
will be made available here (and/or in the lecture) to all participants.
 Slides, lecture 1 on 18/3/19: [PDF]
 Slides, lecture 2 on 25/3/19: [PDF]
 Slides, lecture 3 on 1/4/19: [PDF]
 Three additional handouts:
 Hints for derivations in Hilbertstyle systems for modal logics
[PDF, 1 page]
 A solution to exercise 28 [PDF, 1 page]
 A handout from a course by Eric Pacuit, covering (anong other notions) bounded morphisms and bisimulation
[PDF, 3 pages]
 Slides, lecture 4 on 29/4/19: [PDF]
 Slides, lecture 5 on 13/5/19: [PDF].
Muddy children / Wise Men: [PDF, 3 pages]
 Exercises for lecture 6 on 20/5/2019: [PDF]
 Lecture 7 on 27/5/19:
You have received 3 handouts (Hilbert style axiom systems, sequent calculus for linear logic, tnorms and fuzzy logic.)
We recommend to check also the following entries
in the Stanford Encyclopedia of Philosophy
I strongly recommend the use of LaTeX.
Useful style files are available from
Latex for Logicians.
For drawing graphs and automata  and thus also Kripke models 
the LaTeX package
VauCanSonG should be useful. More options for automata/graph drawing
with LaTeX can be found at MET  Automata in LaTeX.
Also the TeX/LaTeX extension PGF/TikZ is well worth exploring.
Include the problem statement, its number
(`Exercise X: ... ') and your name
in the submitted solution files. Send corresponding
(uncompressed) PDF files via
email to Chris Fermüller
using "NCL exercises" as subject line.
The evaluation will be based on the amount and quality of
submitted solutions to the exercises (as assigned during the course).
Send COMMENTS/REQUESTS to Chris Fermüller