8th International Conference on Topology, Algebra and Categories in Logic (TACL 2017)сборник

Статьи, опубликованные в сборнике

---

• • 2017 Neighborhood-Kripke product of modal logics
  • Kudinov Andrey
  • в сборнике 8th International Conference on Topology, Algebra and Categories in Logic (TACL 2017), серия TACL, тезисы, с. 1-2
• • 2017 On Kripke completeness of modal and superintuitionistic predicate logics with equality
  • Shehtman V.B., Skvortsov D.P.
  • в сборнике 8th International Conference on Topology, Algebra and Categories in Logic (TACL 2017), серия TACL, тезисы, с. 1-2