A uniform framework for substructural logics with modalities.

Björn Lellmann Carlos Olarte Elaine Pimentel

Published in: LPAR (2017)

Keyphrases

propositional calculus
expressive power
modal logic
inference rules
data sets
image processing
evolutionary algorithm
propositional dynamic logic
genetic algorithm
multi agent systems
expert systems
classical logic
computational properties
nonmonotonic logics