Modal-type orthomodular logic.

Graciela Domenech Hector Freytes Christian de Ronde

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

Keyphrases

modal logic
nonmonotonic logics
databases
neural network
database
data sets
computer vision
multi agent
pairwise
temporal logic
multiple types
defeasible logic
asynchronous circuits
dynamic logic