Weakly Algebraizable Logics.

Janusz Czelakowski Ramon Jansana

Published in: J. Symb. Log. (2000)

Keyphrases

expressive power
modal logic
classical logic
epistemic logic
helmholtz principle
nonmonotonic logics
neural network
decision procedures
propositional calculus
data sets
case study
database systems