Recovering a Logic from Its Fragments by Meta-Fibring.

Marcelo E. Coniglio

Published in: Logica Universalis (2007)

Keyphrases

modal logic
classical logic
logic programming
epistemic logic
temporal logic
meta level
expressive power
inference rules
multi valued
data sets
nonmonotonic logics
real time
logic programs
bayesian networks
model checking
artificial intelligence
automated reasoning
predicate logic