On Kripke, Vietoris and Hausdorff Polynomial Functors.

Jirí Adámek Stefan Milius Lawrence S. Moss

Published in: CoRR (2023)

Keyphrases

model checking
hausdorff distance
modal logic
desirable properties
temporal logic
inference rules
straight line
low order
machine learning
artificial intelligence
information systems
image processing
relational databases
higher order