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)