Discrete duality for lattices with modal operators.

Chrysafis Hartonas

Published in: J. Log. Comput. (2019)

Keyphrases

modal operators
modal logic
linear programming
partially ordered
information systems
description logics
expert systems
multi dimensional
temporal logic
dynamic logic