Глава
Canonical filtrations and local tabularity
P. 498-512.
Похожие публикации
Shehtman V. B. Russian Mathematical Surveys. 2012. Vol. 67. No. 4. P. 721-777.
This paper studies two-dimensional modal logics of a special type, 'Segerberg squares'. They are defined as the usual squares of modal logics with additional connectives corresponding to the diagonal symmetry and the two projections onto the diagonal. For these logics a finite axiomatization is constructed in many cases, and completeness and the finite model property are proved. A translation of Segerberg squares into classical predicate logic is constructed. Bibliography: 21 titles.
Добавлено: 4 февраля 2013
Kudinov A. In bk.: Advances in Modal Logic. Iss. 9. L.: College Publications, 2012. P. 286-294.
Добавлено: 21 февраля 2013
Kudinov A. In bk.: Advances in Modal Logic, Volume 6. L.: College Publications, 2006. P. 319-332.
Добавлено: 27 февраля 2013
Под науч. редакцией: L. D. Beklemishev, V. Goranko, V. B. Shehtman. Vol. 8. L.: College Publications, 2010.
Добавлено: 27 февраля 2013
Под науч. редакцией: L. Santocanale, N. Olivetti, Y. Lafont. Marseille: 2011.
Добавлено: 27 февраля 2013
Под науч. редакцией: T. Bolander, T. Brauner, S. Ghilardi. Iss. 9. L.: College Publications, 2012.
Advances in Modal Logic is a bi-annual international conference and book series in Modal Logic. The aim of the conference series is to report on important new developments in pure and applied modal logic, and to do so at varying locations throughout the world. The book series is based on the conferences. Please consult thebackground pages for further details.
Добавлено: 21 февраля 2013
Beklemishev L. D. arxiv.org. math. Cornell University, 2013. No. arXiv:1304.4396.
Добавлено: 22 ноября 2013