A Discrete Representation of Lattice Frames

Ivo Düntsch, Ewa Orlowska. A Discrete Representation of Lattice Frames. In Patrick Blackburn, Emiliano Lorini, Meiyun Guo, editors, Logic, Rationality, and Interaction - 7th International Workshop, LORI 2019, Chongqing, China, October 18-21, 2019, Proceedings. Volume 11813 of Lecture Notes in Computer Science, pages 86-97, Springer, 2019. [doi]

Abstract

Abstract is missing.