|
|
Seminars
"Proof Theory" and "Logic Online Seminar", Moscow
-
On the finite model property of a class of pretransitive logics
Л. В. Дворкин
February 12, 2024 18:30
Moscow

-
On the finite model property of a class of pretransitive logics (continuation)
Л. В. Дворкин
February 19, 2024 18:30
Moscow

-
On the expressivity properties of partial fixed point operator for finite and infinite systems
В. С. Секорин
February 26, 2024 18:30
Moscow

-
Modal logics of provability predicates
Taishi Kurahashi
March 4, 2024 14:30
Moscow

-
Undecidability of the theory of Kleene algebras with commutativity conditions
С. Л. Кузнецов
March 11, 2024 18:30
Moscow

-
Д. С. Шамканов, П. Разумный
March 18, 2024 18:30
Moscow

-
On the elementary theory of atomless probability spaces
С. О. Сперанский
March 25, 2024 18:30
Moscow

-
Punctual structures, automatic structures and index sets. Part 1
N. A. Bazhenov, I. Sh. Kalimullin
April 1, 2024 18:30
Moscow

-
Punctual structures, automatic structures and index sets. Part 2
N. A. Bazhenov, I. Sh. Kalimullin
April 8, 2024 18:30
Moscow

-
How (not) to Compute the Halting Probability or Validate the Heuristic Principle
S. Salehi
April 15, 2024 18:30
Moscow

-
Filtrations of some pretransitive logics
И. Б. Шапировский
April 22, 2024 18:30
Moscow

-
Categoricity-like properties in the first order realm
A. Enayat
May 13, 2024 19:00
Moscow

-
Provable well-orders and hyperarithmetical soundness
D. Fernández-Duque
May 21, 2024 18:30
Moscow

-
Complexity of non-normal logics and the logics with counting of axioms applications
А. В. Кудинов
May 27, 2024 18:30
Moscow

-
Computable linearly ordered structures
М. В. Зубков
September 16, 2024 16:00
Moscow

-
Completeness for modal predicate logics
V. B. Shehtman
September 23, 2024 16:00
Moscow

-
Magari algebras and Plott choice functions
В. И. Данилов
September 30, 2024 16:00
Moscow

-
On interpretations of normal modal logics and additive formulas in S4, S5, Grz, K and GL
Л. В. Дворкин
October 7, 2024 16:00
Moscow

-
Higher-arity algebras and hypergraphs
Carlos Zapata-Carratalá
October 21, 2024 18:00
Moscow

-
Expressive power of categorial grammars with unique category assignment
М. Е. Вишникин
October 28, 2024 16:00
Moscow

-
Definable Combinatorial Principles in Fragments of Arithmetic
Wang Wei
December 2, 2024 16:00
Moscow

-
Algorithmic undecidability of the problem of embeddability of algebraic varieties
А. Я. Белов
December 16, 2024 16:00
Moscow

-
Relational models for the Lambek calculus with the local contraction subexponential
М. В. Валинкин, С. Л. Кузнецов
December 23, 2024 16:00
Moscow

© , 2025