Proof theory of quantified modal logics

We introduce labelled sequent calculi for indexed modal logics. We prove that the structural rules of weakening and contraction are height-preserving admissible, that all rules are invertible, and that cut is admissible. Then we prove that each calculus introduced is sound and complete with respect to the appropriate class of transition frames.

Spectral theory of differential operators on finite metric graphs and on bounded domains

Die vorliegende Arbeit widmet sich der Spektraltheorie von Differentialoperatoren auf metrischen Graphen und von indefiniten Differentialoperatoren auf beschränkten Gebieten. Sie besteht aus zwei Teilen. Im Ersten werden endliche, nicht notwendigerweise kompakte, metrische Graphen und die Hilberträume von quadratintegrierbaren Funktionen auf diesen betrachtet. Alle quasi-m-akkretiven Laplaceoperatoren auf solchen Graphen werden charakterisiert, und Abschätzungen an die negativen Eigenwerte selbstadjungierter Laplaceoperatoren werden hergeleitet. Weiterhin wird die Wohlgestelltheit eines gemischten Diffusions- und Transportproblems auf kompakten Graphen durch die Anwendung von Halbgruppenmethoden untersucht. Eine Verallgemeinerung des indefiniten Operators $-tfrac{d}{dx}sgn(x)tfrac{d}{dx}$ von Intervallen auf metrische Graphen wird eingeführt. Die Spektral- und Streutheorie der selbstadjungierten Realisierungen wird detailliert besprochen. Im zweiten Teil der Arbeit werden Operatoren untersucht, die mit indefiniten Formen der Art $langlegrad v, A(cdot)grad urangle$ mit $u,vin H_0^1(Omega)subset L^2(Omega)$ und $OmegasubsetR^d$ beschränkt, assoziiert sind. Das Eigenwertverhalten entspricht in Dimension $d=1$ einer verallgemeinerten Weylschen Asymptotik und für $dgeq 2$ werden Abschätzungen an die Eigenwerte bewiesen. Die Frage, wann indefinite Formmethoden für Dimensionen $dgeq 2$ anwendbar sind, bleibt offen und wird diskutiert.

Benefits of communication skills training after real patient exposure

The established communication skills training (CST) curriculum consists of continuous education, frequent practice with real patients, supervision and feedback from medical teachers. The limitation of this curriculum is that students have to directly apply the theoretical basis they are provided with to real patients. To improve the existing CST curriculum a CST module involving simulated patients was introduced in order to develop more complex communication skills.

Efficacy of communication skills training courses in oncology: a systematic review and meta-analysis

Objective: Group training in communication skills [communication skills training (CST)] has become partly mandatory for oncology staff. However, so far, a comprehensive meta-analysis on the efficacy is lacking. Design: Included studies either compare the efficacy of a specific training with a control group or look at the additional effect of booster sessions on communication behaviour, attitudes or patient outcomes. Methods: Four electronic databases were searched up to July 2008 without language restriction, and reference lists of earlier reviews were screened. Effect sizes (ESs) were extracted and pooled in random effects meta-analyses. Results: We included 13 trials (three non-randomised), 10 with no specific intervention in the control group. Meta-analysis showed a moderate effect of CST on communication behaviour ES = 0.54. Three trials compared basic training courses with more extensive training courses and showed a small additional effect on communication skills ES = 0.37. Trials investigating participants' attitudes ES = 0.35 and patient outcomes ES = 0.13 (trend) confirmed this effect. Conclusions: Training health professionals by CST is a promising approach to change communication behaviour and attitudes. Patients might also benefit from specifically trained health professionals but strong studies are lacking. However, feasibility and economic aspects have to be kept in mind when considering providing a training of optimal length.