Importing Logics: Soundness and Completeness Preservation.

João Rasga Amílcar Sernadas Cristina Sernadas

Published in: Stud Logica (2013)

Keyphrases

expressive power
modal logic
propositional calculus
neural network
long term
inference rules
classical logic
propositional dynamic logic
image processing
metadata
similarity measure
multiscale
temporal logic
propositional logic
nonmonotonic logics