There Are Reasonably Nice Logics.

Wilfried Hodges Saharon Shelah

Published in: J. Symb. Log. (1991)

Keyphrases

expressive power
modal logic
inference rules
propositional calculus
objective function
inheritance reasoning
databases
classical logic
decision procedures
conditional logic
decision making
search algorithm
computational properties
proof theory