Regular participants: S. Kovač, G. Lojkić, I. Restović, K. Šekrst.
1st year
Comments and discussion on Whitehead, Russell: Principia Mathematica I, The hierarchy of types (*12). December 19, 2015
Comments and discussion on Whitehead, Russell: Principia Mathematica I, The axiom of reducibility (Introduction, Chapter II, 6–7). January 30, 2016
Comments and discussion on L. E. J. Brouwer: "Consciousness, philosophy, and mathematics" (integral text 1948), consciousness, time, mind. February 19, 2016
Comments and discussion on L. E. J. Brouwer: "Consciousness, philosophy, and mathematics" (integral text 1948), causality, cooperation, principle of excluded middle. March 5, 2016
2nd year
Introduction and axiomatic system, September 9, 2016,
Comparison with the axiomatics of S. Artemov and T. Yavorskaya, "First-Order Logic of Proofs" (2011, TR-2011005, CUNY PhD Program in Computer Science), semantics, skeleton, model, truth, September 16, 2016,
Language extensions, canonical models, September 23, 2016,
Completeness, Mkrtychev models, October 14, 2016
Analysis and comments on K. Świętorzecka and J. Czermak, "Some calculus for a logic of change", Journal of Applied Non-Classical Logics (2012), 1-8:
Introduction, language, axiomatics, semantics, October 18, 2016,
Soundness, $G$-changes, October 28, 2016,
Temporal logic (operator N) and change, November 4, 2016,
Completeness, types of histories, November 16, 2016 — with the online participation of K. Świętorzecka.
First-order modal models and intensions, FOIL language and models, December 2, 2016
additional analysis and discussion on December 21, 2016
analysis and discussion on January 18, 2017
analysis and discussion on January 27, 2017
analysis and discussion on February 10, 2017
analysis and discussion on February 24, 2017
analysis and discussion on March 3, 2017
analysis and discussion on March 10, 2017
analysis and discussion on March 24, 2017
analysis and discussion on March 31, 2017
analysis and discussion on April 7, 2017
analysis and discussion on April 14, 2017
Marcin Łyczak, Warszaw: LCG&B logic of changing beliefs, a seminar presentation and discussion.
Comments and discussion on M. Fitting: "A quantified logic of evidence", Annals of Pure and Applied Logic (2008), 67-83
analysis and discussion on May 12, 2017
analysis and discussion on May 19, 2017
analysis and discussion on June 2, 2017
analysis and discussion in July 2017, 2017
analysis and discussion on October 13, 2017
analysis and discussion on October 20, 2017