Modal and temporal operators on partial orders.

Bernhard Möller

Published in: RelMiCS (1998)

Keyphrases

partial order
partially ordered
total order
modal logic
partial ordering
vertex cover
stable marriage
nonmonotonic logics
lattice structure
lower bound
multi dimensional
dominance relation