On Graph-theoretic Fibring of Logics.

Amílcar Sernadas Cristina Sernadas João Rasga Marcelo E. Coniglio

Published in: J. Log. Comput. (2009)

Keyphrases

graph theoretic
modal logic
temporal logic
inference rules
graph theory
hamiltonian path
classical logic
expressive power
random graphs
bayesian network structure learning
nonmonotonic logics
model checking
default logic
maximal cliques
association graph
proof theory
evolutionary algorithm