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.
| Authors: Shapirovsky I., Shehtman V. |