Untangled: A Complete Dynamic Topological Logic.

David Fernández-Duque Yoàv Montacute

Published in: CoRR (2022)

Keyphrases

modal logic
information systems
image segmentation
topological spaces
real time
data sets
natural language
relational databases
logic programming
dynamic environments
automated reasoning
dynamically changing
classical logic