Representation of Lattices with Modal Operators in Two-Sorted Frames.

Chrysafis Hartonas Ewa Orlowska

Published in: Fundam. Informaticae (2019)

Keyphrases

modal operators
object oriented
moving objects