Bilattices and Modal Operators.

Matthew L. Ginsberg

Published in: TARK (1990)

Keyphrases

modal operators
modal logic
temporal logic
partially ordered
nonmonotonic logics
dynamic logic
description logics
situation calculus
object oriented
general purpose
multi dimensional
propositional logic
concept description language