Tom 17 Nr 1-2 (2008)

Pokaż Tom 17 Nr 1-2 (2008)
Spis treści
Tom 17 Nr 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
Spis treści tego numeru
Artykuły
From the Guest Editors
Alexei Y. Muravitsky, Sergei P. Odintsov
5-7
PDF (English)
Alexander Vladimirovich Kuznetsov
Alexei Y. Muravitsky
9-21
PDF (English)
A mind of a non-countable set of ideas
Alexander Citkin
23-39
PDF (English)
The contribution of A.V. Kuznetsov to the theory of modal systems and structures
Alexei Y. Muravitsky
41-58
PDF (English)
The topology of justification
Sergei Artemov, Elena Nogina
59-71
PDF (English)
The Kuznetsov-Gerčiu and Rieger-Nishimura logics
Guram Bezhanishvili, Nick Bezhanishvili, Dick de Jongh
73-110
PDF (English)
Formulas of one propositional variable in intuitionistic logic with the Solovay modality
Leo Esakia, Revaz Grigolia
111-127
PDF (English)
Interpolation and implicit definability in extensions of the provability logic
Larisa Maksimova
129-142
PDF (English)
Discrete linear temporal logic with current time point clusters, deciding algorithms
V. Rybakov
143-161
PDF (English)
A modal approach to dynamic ontology: modal mereotopology
Dimiter Vakarelov
163-183
PDF (English)
From BDI and stit to bdi-stit logic
Caroline Semmling, Heinrich Wansing
185-207
PDF (English)