Modal Hyperdoctrine: Higher-Order and Non-normal Extensions.

Florrie Verity Yoshihiro Maruyama

Published in: WoLLIC (2024)

Keyphrases

higher order
high order
modal logic
low order
pairwise
natural images
markov random field
conditional random fields
lower order
markov models
image processing
data sets
real world
data structure
default logic