Modal separation logics are formalisms that combine modal operators to reason locally, with separating connectives that allow to perform global updates on the models. In this work, we design Hilbert-style proof systems for ...

The lack of instruments adapted to the Chilean context to measure the adjustment to divorce and separation represents an important constraint to the development of a line of research and intervention focused on the topic ...

In this study, we propose a virtual reality biphasic separator methodology in an immersive industrial environment. It allows the training of students or engineers in process and automatic control. On the other hand, the ...

Delayed signal cancellation is one of the methods used to separate the negative- and positive-sequence components in unbalanced 3 phi systems. In this letter, a DSC methodology with fast convergence time is proposed and ...