I.B. Shapirovsky and V.B. Shehtman. Contemporary modal logic: between mathematics and computer science. In D.V. Zaitsev, editor, Contemporary logic: foundations, subject, and perpectives, pages 265--305. Forum, 2018. Russian.

I. Shapirovsky and V. Shehtman. Local tabularity without transitivity. In Advances in Modal Logic, volume 11, pages 520–534. College Publications, 2016. ISBN 978-1-84890-201-5.
Download (424.5 KB)