Advances in Modal Logicсборник

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

---

• • 2020 Algorithmic properties of first-order modal logics of the natural number line in restricted languages
  • Rybakov Mikhail, Shkatov Dmitry
  • в сборнике Advances in Modal Logic, серия Advances in Modal Logic, место издания College Publications London, том 13, с. 523-540
• • 2020 Canonical extensions for the distributive full Lambek calculus with modal operators (short paper)
  • Rogozin Daniel
  • в сборнике Advances in Modal Logic, серия Advances in Modal Logic, место издания College Publications London, том 13, с. 81-85
• • 2020 Cut-free hypersequent calculi for the logics with non-standard S5-style modalities (short paper)
  • Petrukhin Yaroslav
  • в сборнике Advances in Modal Logic, серия Advances in Modal Logic, место издания College Publications London, том 13, с. 70-74
• • 2020 Global neighbourhood completeness of the provability logic GLP
  • Shamkanov Daniyar
  • в сборнике Advances in Modal Logic, серия Advances in Modal Logic, место издания College Publications London, том 13, с. 581-596
• 
  • 2020 Modal logics with transitive closure: Completeness, decidability, filtration
  • Kikot Stanislav, Shapirovsky Ilya, Zolin Evgeny
  • в сборнике Advances in Modal Logic, серия Advances in Modal Logic, место издания College Publications London, том 13, с. 369-388
• • 2020 Some prospects for semiproducts and products of modal logics (short paper)
  • Shehtman Valentin, Shkatov Dmitry
  • в сборнике Advances in Modal Logic, серия Advances in Modal Logic, место издания College Publications London, том 13, с. 107-111
• • 2020 The long rule in the Lambek calculus with iteration: undecidability without meets and joins
  • Kuznetsov Stepan
  • в сборнике Advances in Modal Logic, серия Advances in Modal Logic, место издания College Publications London, том 13, с. 425-440
• • 2020 Topological product of modal logics S4.1 and S4 (short paper)
  • Kudinov Andrey
  • в сборнике Advances in Modal Logic, серия Advances in Modal Logic, место издания College Publications London, том 13, с. 33-36