We investigate a SAT-based bounded model checking method for EMTLK that is interpreted over timed models generated by timed interpreted systems. In particular, we translate the existential model checking problem for EMTLK to the existential model checking problem for a variant of linear temporal logic, and we provide a SAT-based BMC technique for HLTLK. We evaluated the performance of our BMC by means of a variant of a timed generic pipeline paradigm scenario and a timed train controller system.

Are proneness to forgive, optimism and gratitude associated with life satisfaction? The main aim of the current study was to examine whether and how life satisfaction is related to propensity to forgive one's transgressor. Additionally, it also explored the relationship between life satisfaction and other chosen psychological variables, such as optimism and gratitude. The study involved 338 persons between 16 and 83 years of age. For the measurement of psychological variables the following research tools were used: Satisfaction With Life Scale, (...) Transgression-Related Interpersonal Motivations Inventory, Gratitude Questionnaire, and Learned Optimism Test. Among the study participants satisfaction with life was positively correlated with the conviction about a permanent and ubiquitous nature of positive events, optimism and gratitude. The study also observed a negative correlation between satisfaction with life, the motivation for revenge and avoidance motivation, and the perception of a permanent and ubiquitous nature of adverse events. (shrink)

Development of interpersonal trust among children and adolescents The main purpose of the present article is to introduce a topic related to the development of interpersonal trust among children and adolescents. Although this subject, since the beginnings of psychology considered as an academic discipline, has been regarded as an essential component of human functioning, there are still very few theoretical and empirical studies that approach the issue from a developmental point of view. In this paper the three-dimensional conceptualization of interpersonal (...) trust is provided. Furthermore, the article highlights the past and current theoretical and empirical research on the development of interpersonal trust in infants, preschool and school-age children. Finally, some challenges are presented in the field of interpersonal trust studies. (shrink)

In the year 2006, the American Psychological Association published a series of Research Briefs brochures to make available to the public short outlines on contemporary psychological studies of themes relevant to the United Nations’ mission. One of the items that was listed and given a considerable attention within the psychological fi eld was ‘forgiveness’. That initiative, despite the fact that forgiveness has been considered rather a theological issue, has generated a great interest among psychologists, thus leading them to undertake some (...) projects on forgiveness. In accordance with this concept of forgiveness, we chose in this research to investigate an individual’s ability to forgive as related to a basic human value. The study involved 274 Italian adolescents between 14 and 19 years of age. To measure variables involved in the research we used the following instruments: Transgression-Related Interpersonal Motivations Inventory, The Marital Offence-Specifi c Forgiveness Scale adapted to the adolescents’ sample, Trait Forgiveness Scale, and Portrait Values Questionnaire. The results obtained in the study show that forgiveness is positively related to selftranscendent and conservation values, and negatively correlated with self-enhancement and openness to change values. (shrink)

In meinem Referat werde ich an das philosophische Problem der Ewigkeit der Welt anknüpfen. Wenn wir dieses Problem philosophisch betrachten, müssen wir uns auf das frühe Stadium der Weltevolution ziehen, d.h. auf das „präphysische" Stadium. Als „präphysisch" bezeichne ich das Frühstadium der kosmologischen Evolution, das angesichts der damaligen extremen Verhältnisse durch begründete fundamentale Theorien der gegenwärtigen Physik, wie Quantenmechanik, Relativitätstheorie oder Thermodynamik nicht zu beschreiben oder zu erklären ist. Heute kennen wir nur die obere Zeitgrenze dieses Stadiums, die sog. Plancksche (...) Schwelle, die 10~^3 s. beträgt. Das Hauptproblem im Prozess der ontologischen Charakteristik dieses Stadiums ist der Versuch, seine untere Zeitgrenze festzulegen. Mit diesem Problem ist nämlich eine der ältesten und viel diskutierten philosphischen Fragen verbunden, und zwar das Problem der Ewigkeit der Welt und : (1) das Problem des Zeitraums des „präphysischen" Stadiums (es geht um das Festlegen seiner unteren Zeitgrenze - dauerte es unendlich lang oder aber nur einen winzigen Sekundenteil?), (2) ist der Anfang der Zeit (falls es ihn gäbe) zugleich der Anfang der Welt?, (3) bildet der Grosse Ausbruch den absoluten Anfang der Welt oder nur den Anfang eines von mehreren Stadien in ihrer Evolution, (4) setzt die Möglichkeit des absoluten Anfangs der Welt unbedingt die Kreation Gottes voraus (die supranatürliche Kreation) oder läbt eine Möglichkeit die Entstehung der Welt auf eine natürliche Weise zu (die natürliche Kreation), (5) das Problem des „sonderlichen" Moments. Alle diese Fragen, stelle ich auf der Basis der neueren Errungenschaften der Physik und Kosmologie dar. (shrink)

In meinem Referat werde ich an das philosophische Problem der Ewigkeit der Welt anknüpfen. Wenn wir dieses Problem philosophisch betrachten, müssen wir uns auf das frühe Stadium der Weltevolution ziehen, d.h. auf das „präphysische" Stadium. Als „präphysisch" bezeichne ich das Frühstadium der kosmologischen Evolution, das angesichts der damaligen extremen Verhältnisse durch begründete fundamentale Theorien der gegenwärtigen Physik, wie Quantenmechanik, Relativitätstheorie oder Thermodynamik nicht zu beschreiben oder zu erklären ist. Heute kennen wir nur die obere Zeitgrenze dieses Stadiums, die sog. Plancksche (...) Schwelle, die 10~^3 s. beträgt. Das Hauptproblem im Prozess der ontologischen Charakteristik dieses Stadiums ist der Versuch, seine untere Zeitgrenze festzulegen. Mit diesem Problem ist nämlich eine der ältesten und viel diskutierten philosphischen Fragen verbunden, und zwar das Problem der Ewigkeit der Welt und : (1) das Problem des Zeitraums des „präphysischen" Stadiums (es geht um das Festlegen seiner unteren Zeitgrenze - dauerte es unendlich lang oder aber nur einen winzigen Sekundenteil?), (2) ist der Anfang der Zeit (falls es ihn gäbe) zugleich der Anfang der Welt?, (3) bildet der Grosse Ausbruch den absoluten Anfang der Welt oder nur den Anfang eines von mehreren Stadien in ihrer Evolution, (4) setzt die Möglichkeit des absoluten Anfangs der Welt unbedingt die Kreation Gottes voraus (die supranatürliche Kreation) oder läbt eine Möglichkeit die Entstehung der Welt auf eine natürliche Weise zu (die natürliche Kreation), (5) das Problem des „sonderlichen" Moments. Alle diese Fragen, stelle ich auf der Basis der neueren Errungenschaften der Physik und Kosmologie dar. (shrink)