In this note we investigate modal logics of submaximal and nodec spaces when the modal diamond is interpreted as the closure operator of a topological space. We axiomatize the modal logic of nodec spaces. We show that the modal logic of submaximal spaces is a proper extension of the modal logic of nodec spaces, axiomatize it, and prove that it coincides with the modal logics of door spaces and ...

‎A topological space is called submaximal if each of its dense subsets is open and is called nodec if each of its nowhere dense ea subsets is closed‎. ‎Here‎, ‎we study a variety of spaces some of which have already been studied in $C(X)$‎. ‎Among them are‎, ‎most importantly‎, ‎quasi $P$-spaces and pointwise quasi $P$-spaces‎. ‎We obtain some new useful topological characterizations of quasi $...

We study the ability of neural networks to calculate feedback control signals that steer trajectories continuous-time nonlinear dynamical systems on graphs, which we represent with ordinary differential equations (neural ODEs). To do so, present a ODE (NODEC) framework and find it can learn drive graph toward desired target states. While use loss functions not constrain energy, our results show...

Krull dimension measures the depth of the spectrum Spec(R) of a commutative ring R. Since Spec(R) is a spectral space, Krull dimension can be defined for spectral spaces. Utilizing Stone duality, it can also be defined for distributive lattices. For an arbitrary topological space, the notion of Krull dimension is less useful. Isbell [23] remedied this by introducing the concept of graduated dim...

We develop the theory of Krull dimension for S4-algebras and Heyting algebras. This leads to the concept of modal Krull dimension for topological spaces. We compare modal Krull dimension to other well-known dimension functions, and show that it can detect differences between topological spaces that Krull dimension is unable to detect. We prove that for a T1-space to have a finite modal Krull di...