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 Conference
Programme
Theses
Photo
Video
Theses
(PDF, 1.7 МБ)
Download
Show more
Dmitry Zaitsev
FDE and Its Relatives
Sergey Odintsov
On realizability semantics for independence friendly logic
Marek Nasieniewski
On some logics with modalised negations
Marek Nasieniewski
Modal logics defining Jaskowski's and Jaskowski-like discussive logics
Valentin Shehtman
Modal predicate logics: questions and answers
Mark Reynolds
Continuously Branching Time
Up
