Weaker D-Complete Logics.

Norman D. Megill Martin W. Bunder

Published in: Log. J. IGPL (1996)

Keyphrases

modal logic
website
image segmentation
multi agent systems
expressive power
propositional variables
linearly ordered