On Topologically Relevant Fragments of the Logic of Linear Flows of Time.

Bernhard Heinemann

Published in: WoLLIC (2015)

Keyphrases

closely related
logic programming
modal logic
linear model
multi valued
asynchronous circuits
proof theory
shift register
real time
neural network
information retrieval
multi agent systems
logical framework