On the Independent Axiomatizability of Modal and Intermediate Logics.

Alexander V. Chagrov Michael Zakharyaschev

Published in: J. Log. Comput. (1995)

Keyphrases

modal logic
nonmonotonic logics
expressive power
data sets
search algorithm
classical logic
data mining
social networks
computer vision
artificial neural networks
propositional logic
conditional logic