Vol. 17 No. 1-2 (2008)

View Vol. 17 No. 1-2 (2008)
Table of contents
Vol. 17 No. 1-2 (2008)
Thursday, Jun 19, 2008
To the memory of Alexander Vladimirovich Kuznetsov (1926-1984). Guest Editors: Alexei Y. Muravitsky and Sergei P. Odintsov
This issue table of contents
Articles
From the Guest Editors
Alexei Y. Muravitsky, Sergei P. Odintsov
5-7
PDF
Alexander Vladimirovich Kuznetsov
Alexei Y. Muravitsky
9-21
PDF
A mind of a non-countable set of ideas
Alexander Citkin
23-39
PDF
The contribution of A.V. Kuznetsov to the theory of modal systems and structures
Alexei Y. Muravitsky
41-58
PDF
The topology of justification
Sergei Artemov, Elena Nogina
59-71
PDF
The Kuznetsov-Gerčiu and Rieger-Nishimura logics
Guram Bezhanishvili, Nick Bezhanishvili, Dick de Jongh
73-110
PDF
Formulas of one propositional variable in intuitionistic logic with the Solovay modality
Leo Esakia, Revaz Grigolia
111-127
PDF
Interpolation and implicit definability in extensions of the provability logic
Larisa Maksimova
129-142
PDF
Discrete linear temporal logic with current time point clusters, deciding algorithms
V. Rybakov
143-161
PDF
A modal approach to dynamic ontology: modal mereotopology
Dimiter Vakarelov
163-183
PDF
From BDI and stit to bdi-stit logic
Caroline Semmling, Heinrich Wansing
185-207
PDF