Logics from Galois connections.

Jouni Järvinen Michiro Kondo Jari Kortelainen

Published in: Int. J. Approx. Reason. (2008)

Keyphrases

expressive power
modal logic
formal concepts
inference rules
formal concept analysis
computational properties
real time
case based reasoning
propositional calculus
propositional dynamic logic
inheritance reasoning
galois lattices
data structure
decision procedures
nonmonotonic logics