A Logic with Reverse Modalities for History-preserving Bisimulations

Iain Phillips Irek Ulidowski

Published in: EXPRESS (2011)

Keyphrases

logic programming
multi valued
classical logic
predicate logic
automated reasoning
modal logic
real world
data mining
search engine
information systems
computational properties
formal language
natural deduction
delay insensitive
sound and complete axiomatization