Logics of Essence and Accident.

Published in: CoRR (2015)

Keyphrases

expressive power
modal logic
traffic accidents
propositional calculus
neural network
real world
search engine
inference rules
classical logic
propositional dynamic logic
real time
conditional logic
decision procedures
computational properties
higher order
decision making
databases