On interpolation in next (kb.alt(2))

Kostrzycka, Zofia

View/Open

3_2_159-170_Kostrzycka.pdf (158.0Kb)

Date

2018

Author

Kostrzycka, Zofia

Metadata

Show full item record

Abstract

We prove that there is infinitely many tabular modal logics extending KB.Alt(2) which have interpolation.

URI

http://hdl.handle.net/11089/28050

Collections

Bulletin of the Section of Logic 47/3 (2018) [5]

This work is licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 License.

Except where otherwise noted, this item's license is described as This work is licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 License.