Logics of varieties, logics of semilattices and conjunction.

Josep Maria Font Tommaso Moraschini

Published in: Log. J. IGPL (2014)

Keyphrases

modal logic
expressive power
propositional calculus
classical logic
propositional dynamic logic
data sets
neural network
real world
genetic algorithm
data structure
inference rules
epistemic logic
proof procedures
horn logic
inheritance reasoning