Normal Monomodal Logics Can Simulate All Others.

Marcus Kracht Frank Wolter

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

Keyphrases

expressive power
modal logic
information systems
propositional calculus
database
inference rules
nonmonotonic logics
real time
data sets
search engine
expert systems
evolutionary algorithm
higher order
logic programming
classical logic
proof theory