Bilattices and Modal Operators.

Matthew L. Ginsberg

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

Keyphrases

modal operators
modal logic
temporal logic
partially ordered
situation calculus
dynamic logic
nonmonotonic logics
description logics
active learning
communicative acts
decision trees
partial order