Vortrag zum Thema "Modal logic is more succinct iff bi-implication is available (in some form)"

Liebe Theoretiker,
am Donnerstag, dem 09.11.2023, wird Herr Christian Schwarz im Forschungsseminar des Instituts für Theoretische Informatik über sein Forschungsthema  "Modal logic is more succinct iff bi-implication is available (in some form)" berichten. Alle Interessierten sind herzlich eingeladen, daran teilzunehmen. Wir treffen uns um 11 Uhr im Raum Z 2073.

Weitere Informationen zum Forschungsseminar des Instituts für Theoretische Informatik erhalten Sie hier.