Reusing Topological Nexttime Logic.

Bernhard Heinemann

Published in: Stud Logica (2020)

Keyphrases

modal logic
multi valued
topological features
topology preserving
topological properties
classical logic
proof theory
database
data mining
artificial intelligence
learning objects
logic programming
set theory
asynchronous circuits
digital topology
topological spaces