The diamond covering property axiom.

Janusz Pawlikowski

Published in: Math. Log. Q. (2016)

Keyphrases

modal logic
desirable properties
real time
inference rules
information retrieval
genetic algorithm
three dimensional
image sequences
data model