Extending Topological Nexttime Logic.

Bernhard Heinemann

Published in: TIME (2000)

Keyphrases

logic programming
classical logic
modal logic
predicate logic
multi valued
topological spaces
automated reasoning
proof theory
data sets
databases
data mining
formal theory
asynchronous circuits
propositional dynamic logic