Title: Modale Logiken von geflechtartigen Datenstrukturen und ihre Kombination mit temporaler Programmlogik