eng
рус
XII Conference
Information
Committees
Important Dates
Submissions
Programme
About Conference
Vladimir Smirnov
Biography
Bibliography
Archives
XII Conference
XI Conference
X Conference
IX Conference
VIII Conference
VII Conference
VI Conference
V Conference
IV Conference
III Conference
II Conference
I Conference
Contacts
Archives X Конференция
Десятые Смирновские чтения по логике
Programme
Theses
Photo
Video
Programme
(PDF, 490.5 КБ)
Download
Theses
(PDF, 1.7 МБ)
Download
Show more
Belikov A., Zaitsev D.
FDE and Its Relatives, Part II: Axiomatization
Valentin Shehtman
Modal predicate logics: questions and answers
Marek Nasieniewski
Modal logics defining Jaskowski's and Jaskowski-like discussive logics
Marek Nasieniewski
On some logics with modalised negations
Sergey Odintsov
On realizability semantics for independence friendly logic
Dmitry Zaitsev
FDE and Its Relatives
Непейвода Н. Н.
Формализация и деформализация как неотъемлемые части логики
Mark Reynolds
Continuously Branching Time
Up
