Importing Logics.

João Rasga Amílcar Sernadas Cristina Sernadas

Published in: Stud Logica (2012)

Keyphrases

expressive power
modal logic
propositional dynamic logic
conditional logic
inference rules
inheritance reasoning
proof theory
computational properties
classical logic
expert systems
natural language
belief revision
higher order
nonmonotonic logics
multiscale
meta information
knowledge base
neural network
databases