The Vietoris functor and modal operators on rings of continuous functions.
Guram BezhanishviliLuca CaraiPatrick J. MorandiPublished in: Ann. Pure Appl. Log. (2022)
Keyphrases
- continuous functions
- modal operators
- complex objects
- modal logic
- differential equations
- temporal logic
- real valued
- situation calculus
- nonmonotonic logics
- description logics
- partially ordered
- query language
- endpoints
- activation function
- model checking
- neural network
- partial order
- distance function
- digital topology
- default logic
- radial basis function
- dynamical systems
- graphical models
- knowledge representation
- feature selection