On K-modal BL-logics.

Esfandiar Eslami Omid Yousefi Kia Arsham Borumand Saeid

Published in: J. Intell. Fuzzy Syst. (2015)

Keyphrases

modal logic
nonmonotonic logics
temporal logic
decision procedures
inference rules
epistemic logic
conditional logic
expressive power
modal operators
classical logic
blended learning
propositional logic
propositional variables
default logic
data model
evolutionary algorithm
machine learning
neural network