Logics Which Are Characterized by Subresiduated Lattices.

George Epstein Alfred Horn

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

Keyphrases

expressive power
modal logic
real time
nonmonotonic logics
image processing
relational databases
knowledge discovery
propositional dynamic logic