HOME
|
Math-Net.Ru
|
Scopus
My CV
Publications
Preprints
Talking
Textbook
+
A variation on Section 3.1
Plan of the talks
Program
Slides [Seminar]
2020-09-11:
Lambek Calculus
2020-09-18 + 2020-09-25:
Dynamic Logic
2020-10-02:
Probability Logic—1
%linear inequalities
2020-10-09:
Probability Logic—2
2020-10-16:
Probability Logic—3
2020-10-23:
An Algebraic Approach to Logic
2020-10-30:
Monadic Second-Order Logic: S1S and S2S
2020-11-06:
Proof Complexity
2020-11-20:
Temporal Logic—1
2020-11-27:
Temporal Logic—2
2020-12-01:
Craig's Interpolation Theorem and Its Applications
2020-12-08:
Ultraproducts and Łoś's Theorem
2020-12-11:
Varieties and Birkhoff's Theorem
2020-12-15:
Stone Duality
2020-12-18:
From Propositional Non-Classical Logics to FO-CL and SO-CL
Examination
Schedule
Examination rules
Examples of questions