Lattices of Finitely Alternative Normal Tense Logics.

Minghui Ma Qian Chen

Published in: Stud Logica (2021)

Keyphrases

expressive power
case study
modal logic
computer vision
similarity measure
bayesian networks
inference rules
finite number
inductive inference
temporal relations
conditional logic
proof theory