Advances in Modal Logicсборник

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

---

• • 2006 A decidable modal logic that is finitely undecidable
  • Gorbunov Igor
  • в сборнике Advances in Modal Logic, серия Advances in Modal Logic, место издания College Publications London, том 6, с. 247-258
• 
  • 2006 Completeness and Incompleteness in First-Order Modal Logic: An Overview
  • Shehtman Valentin
  • в сборнике Advances in Modal Logic, серия Advances in Modal Logic, место издания College Publications London, том 6, с. 27-30
• 
  • 2006 Complexity of intuitionistic and Visser’s basic and formal logics in finitely many variables
  • Rybakov M.N.
  • в сборнике Advances in Modal Logic, серия Advances in Modal Logic, место издания College Publications London, том 6, с. 393-411
• • 2006 Dynamic topological logics over spaces with continuous functions
  • Konev Boris, Kontchakov Roman, Wolter Frank, Zakharyaschev Michael
  • в сборнике Advances in Modal Logic, серия Advances in Modal Logic, место издания College Publications London, том 6, с. 299-318
• 
  • 2006 Every World Can See a Sahlqvist World
  • Balbiani Philippe, Shapirovsky Ilya, Shehtman Valentin
  • в сборнике Advances in Modal Logic, серия Advances in Modal Logic, место издания College Publications London, том 6, с. 69-85
• • 2006 Logics with an existential modality
  • Shkatov Dmitry, Alechina Natasha
  • в сборнике Advances in Modal Logic, серия Advances in Modal Logic, место издания College Publications London, том 6, с. 31-48
• 
  • 2006 The truth about algorithmic problems in correspondence theory
  • Chagrov Alexander, Chagrova Lilia
  • в сборнике Advances in Modal Logic, серия Advances in Modal Logic, место издания College Publications London, том 6, с. 121-138
• 
  • 2006 Topological modal logics with difference modality
  • Kudinov Andrey
  • в сборнике Advances in Modal Logic, серия Advances in Modal Logic, место издания College Publications London, том 6, с. 319-332