Dynamic Topological Logic (DT L) is a multimodal system for reasoning about dynamical systems. It is defined semantically and, as such, most of the work done in the field has been model-theoretic. In particular, the problem of finding a complete axiomatization for the full language of DT L over the class of all dynamical systems has proven to be quite elusive. Here we propose to enrich the lang...

in this paper we give conditions for a tuple of commutative bounded linear operators which holds in the property of the hypercyclicity criterion. we characterize topological transitivity and semi-hereiditarily of a dynamical system given  by an n-tuple of operators acting on a separable infinite dimensional banach space .

In this paper, the P-connectedness of L-subsets in L-topological spaces is introduced and studied. It preserves some fundamental properties of connected sets in general topological spaces. Especially, the famous K. Fan’s Theorem holds for P-connectivity.

Austenitic stainless steels produced by laser powder bed fusion (L-PBF) are quite interesting materials owing to their specific microstructure consisting of dendrite walls built dislocations pinned many nano-oxides that involves significant strengthening without loss ductility. In this work, different plasma treatments were performed harden the surface 316 L steel manufactured L-PBF. The sample...

In this paper, the notion of almost S^{*}-compactness in L-topologicalspaces is introduced following Shi’s definition of S^{*}-compactness. The propertiesof this notion are studied and the relationship between it and otherdefinitions of almost compactness are discussed. Several characterizations ofalmost S^{*}-compactness are also presented.

For a normal covering over a closed oriented topological manifold we give a proof of the L-signature theorem with twisted coefficients, using Lipschitz structures and the Lipschitz signature operator introduced by Teleman. We also prove that the L-theory isomorphism conjecture as well as the C∗ max-version of the Baum-Connes conjecture imply the L-signature theorem for a normal covering over a ...