Some Remarks on Ultrafilter and Normality Logics.

André Fuhrmann

Published in: Stud Logica (2003)

Keyphrases

expressive power
modal logic
normal distribution
information systems
inference rules
computational properties
nonmonotonic logics
propositional calculus
computer vision
knowledge base
image segmentation
query language
knowledge representation
temporal logic
conditional logic
propositional dynamic logic