• A
  • A
  • A
  • АБB
  • АБB
  • АБB
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта

Глава

Finite model property of pretransitive analogs of S5

P. 261-264.
Kudinov A., Shapirovsky I.

We consider propositional normal unimodal pretransitive logics, i.e., logics with expressible `transitive' modality. There is a long-standing open problem about the finite model property (fmp) and decidability of pretransitive logics, in particular - for the logics K^m_K+[]^m p -> []^n p, n>m>1.

В книге

Под науч. редакцией: L. Santocanale, N. Olivetti, Y. Lafont. Marseille: 2011.