A Constructive Presentation for the Modal Connective of Necessity (\Box).

Mario R. F. Benevides T. S. E. Maibaum

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

Keyphrases

multimedia
modal logic
information presentation
information systems
image segmentation
object recognition
relational databases
temporal logic
minimum bounding