Confluent Term Rewriting for Only-knowing Logics.

Espen H. Lian Einar Broch Johnsen Arild Waaler

Published in: STAIRS (2010)

Keyphrases

term rewriting
theorem proving
theorem prover
inference rules
modal logic
operational semantics
rewrite systems
expressive power
knuth bendix
first order logic
propositional dynamic logic
proof theory
conditional logic
classical logic
database
horn clauses
dynamic environments
mobile robot
databases