On weak and strong interpolation in algebraic logics.

Saharon Shelah Gábor Sági

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

Keyphrases

expressive power
real time
modal logic
inference rules
databases
artificial intelligence
high level
multi agent
interpolation method
propositional dynamic logic
inheritance reasoning