Intersection Logic.

Simona Ronchi Della Rocca Luca Roversi

Published in: CSL (2001)

Keyphrases

logic programming
multi valued
real time
classical logic
defeasible logic
set theory
database
artificial intelligence
information systems
e learning
database systems
modal logic
computational properties
dynamic logic
propositional dynamic logic