• A
  • A
  • A
  • ABC
  • ABC
  • ABC
  • А
  • А
  • А
  • А
  • А
Regular version of the site

Book chapter

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.

In book

Edited by: L. Santocanale, N. Olivetti, Y. Lafont. Marseille: 2011.