Realisability Semantics for Error-Tolerant Logics.

John C. Mitchell Michael J. O'Donnell

Published in: TARK (1986)

Keyphrases

error tolerant
propositional dynamic logic
graph matching
subgraph isomorphism
modal logic
databases
neural network
data mining
computer vision
similarity measure
object recognition