Lattice-Based Graded Logic: a Multimodal Approach

Philippe Chatalic Christine Froidevaux

Published in: CoRR (2013)

Keyphrases

alternating time temporal logic
multi modal
logic programming
modal logic
classical logic
predicate logic
database
data sets
databases
case study
logical framework
defeasible logic
brain image analysis
neural network
linear logic