Evidence Logic: A New Look at Neighborhood Structures.

Johan van Benthem David Fernández-Duque Eric Pacuit

Published in: Advances in Modal Logic (2012)

Keyphrases

empirical evidence
automated reasoning
modal logic
classical logic
belief functions
multi valued
computational properties
predicate logic
proof theory
data mining
image sequences
artificial neural networks
evolutionary algorithm
hidden markov models
epistemic logic
logic synthesis