We introduce strong separation axioms in bitopological spaces. We also introduce the notion of strong pairwise compactness.

By using the notion of m-spaces, we establish the unified theory for several variations of separation axioms quasi T0, quasi T1 and quasi T2 in bitopological spaces.

This paper presents the HDG learning algorithm, which uses a hierarchical decomposition of the state space to make learning to achieve goals more efficient with a small penalty in path quality. Special care must be taken when performing hierarchical planning and learning in stochastic domains, because macro-operators cannot be executed ballistically. The HDG algorithm, which is a descendent of ...

Bimodal provability logic GLB, introduced by G. Japaridze, currently plays an important role in the applications of provability logic to proof-theoretic analysis. Its topological semantics interprets diamond modalities as derived set operators on a bi-scattered bitopological space. We study the question of completeness of this logic w.r.t. the most natural space of this kind, that is, w.r.t. an...

The purpose of this paper is to introduce the notions g̃-R0, g̃-R1, g̃-T0, g̃-T1 and g̃-T2 in bitopological spaces.

We obtain the further properties of quasi Mcontinuous functions which were introduced and investigated in order to establish the unified theory for several variations of quasi-continuity between bitopological spaces.

in this paper, we discuss the equivalent conditions of pretopological and topological $l$-fuzzy q-convergence structures and define $t_{0},~t_{1},~t_{2}$-separation axioms in $l$-fuzzy q-convergence space. {furthermore, $l$-ordered q-convergence structure is introduced and its relation with $l$-fuzzy q-convergence structure is studied in a categorical sense}.