Inverse Images of Box Formulas in Modal Logic.

Lloyd Humberstone

Published in: Stud Logica (2013)

Keyphrases

modal logic
image data
ground truth
image features
input image
image analysis
temporal logic
image database
three dimensional
object recognition
edge detection
image retrieval
image collections
test images
image registration
image classification
default logic
image segmentation
feature points
segmentation algorithm
image regions
inference rules
dynamic logic