The language we consider is the language of ordinary modal logic built over ordinary propositional symbols p, q, r, … as well as nominals a, b, c, … and extended with satisfaction operators and binders.
The dimension "Development of Customer Orientation/Loyalty" covers the self-perceived intention to extend customer satisfaction (e.g. through personnel training) and the organization of events for customers/patients concerning health-related topics.
From a theoretical point of view, the differences in patient satisfaction with ART-related services among districts and waves have extended current knowledge on satisfaction levels with South Africa's public-sector ART programme.
The importance to proceed to an extended survey of patients' satisfaction has been unanimously strengthened by previous studies [5, 6, 7, 8, 9].
In light of the previously-cited studies, this additional result provides even more reason to clearly distinguish EMR user satisfaction and extended EMR use in terms of their components and determinants, since the mutual dependence of these two constructs was found to be low.
An analytical model has been proposed to compute the predicted values of the user satisfaction, extending the prediction models by Andreolini.
In order to help link website design and investment decisions to the strategy for retaining customers, we propose a model by extending the user satisfaction perspective into research on online service continuance.
This study increases the confidence with which we can extend prior EHR satisfaction studies into the psychiatric realm.
When the child returned from school — because the choir he accompanied, an activity that gave him great satisfaction, had an extended rehearsal — Lang Guoren screamed uncontrollably and seemed "out of his mind," Mr. Lang writes.
As a general framework, the well-justified FLP answer set semantics applies to logic programs with first-order formulas, logic programs with aggregates, description logic programs, hex-programs etc., provided that the rule satisfaction is properly extended to such general logic programs.
