An Algebraic Approach to Subframe Logics. Modal Case.

Guram Bezhanishvili Silvio Ghilardi Mamuka Jibladze

Published in: Notre Dame J. Formal Log. (2011)

Keyphrases

modal logic
real time
nonmonotonic logics
expressive power
machine learning
inference rules
neural network
social networks
decision making
image processing
clustering algorithm
knowledge representation
temporal logic
propositional calculus