Certain constraints that should be interpreted as definitions or quasi-definitions can cause prediction problems for logics of action. Standard ways to avoid them rely on notions of priority in the minimization of fluent change. We offer an alternative approach based on belief revision. Revision is performed on the reduct of the system theory after isolating definitions, and the revised theory ...

best approximation results provide an approximate solution to the fixed point equation $tx=x$, when the non-self mapping $t$ has no fixed point. in particular, a well-known best approximation theorem, due to fan cite{5}, asserts that if $k$ is a nonempty compact convex subset of a hausdorff locally convex topological vector space $e$ and $t:krightarrow e$ is a continuous mapping, then there exi...

Abstract Introduction: Pregnancy predisposes the emergence of pelvic floor dysfunctions (PFD), postpartum being opportune moment to assess these muscles. Objective: To investigate effect instructions and verbal feedback on contraction capacity muscles (PFM) in women. Methods: Quasi-experimental study with 109 women immediate vaginal at a reference maternity hospital Fortaleza, Ceará state, Braz...

In the present paper‎, ‎we introduce the concept of generalized multivalued $F$ -‎contraction mappings and give a fixed point result‎, ‎which is a proper‎ ‎generalization of some multivalued fixed point theorems including Nadler's‎.

A continuous projective measurement of a quantum system often leads to a suppression of the dynamics, known as the Zeno effect. Alternatively, generalized nonprojective, so-called ‘weak’ measurements can be carried out. Such a measurement is parameterized by its strength parameter that can interpolate continuously between the ideal strong measurement with no dynamics—the strict Zeno effect, and...

Objectives: To generate the best proximity point theorem for new types of Ciric a

In this paper, we introduce the concepts of qpb-cyclic-Banach contraction mapping, qpb-cyclic-Kannan mapping and qpb-cyclic β-quasi-contraction mapping and establish the existence and uniqueness of fixed point theorems for these mappings in quasi-partial b-metric spaces. Some examples are presented to validate our results. c ©2016 All rights reserved.