Identity logics.

John Corcoran Stanley Ziewacz

Published in: Notre Dame J. Formal Log. (1979)

Keyphrases

expressive power
modal logic
nonmonotonic logics
conditional logic
data structure
inference rules
identity management
artificial intelligence
decision trees
search algorithm
propositional logic
social context
classical logic
propositional dynamic logic
inheritance reasoning