Archiv verlassen und diese Seite im Standarddesign anzeigen : Dynamic Logic. New Trends and Applications