Institut für Theoretische Informatik

Aspects of Coherence in Dependence Logic
Barlag, T., Fröhlich, N., Hannula, M., Kolaitis, P. G., Kontinen, J., Meier, A. & Väänänen, J., 2026, (Elektronisch veröffentlicht (E-Pub)).
Publikation: Arbeitspapier/Preprint › Preprint

Open Access
Disjunctions of Two Dependence Atoms
Fröhlich, N., Kolaitis, P. G. & Meier, A., 18 Feb. 2026, 34th EACSL Annual Conference on Computer Science Logic (CSL 2026) . Guerrini, S. & Konig, B. (Hrsg.). S. 10:1-10:21 21 S. 10. (Leibniz International Proceedings in Informatics, LIPIcs; Band 363).
Publikation: Beitrag in Buch/Bericht/Sammelwerk/Konferenzband › Aufsatz in Konferenzband › Forschung › Peer-Review

Open Access
Modal Fragments
Bezhanishvili, N., Cate, B. T., Ganguly, A. & Meier, A., 2026, (Elektronisch veröffentlicht (E-Pub)).
Publikation: Arbeitspapier/Preprint › Preprint

Anwendungen und Komplexität von Logiken in der Semiring-Team-Semantik
Meier, A. (Projektleiter*in (Principal Investigator)), Vollmer, H. (Projektmitarbeiter*in), Barlag, T. (Projektmitarbeiter*in), Fröhlich, N. F. H. (Projektmitarbeiter*in), Holzapfel, V. (Projektmitarbeiter*in) & Strieker, L. (Projektmitarbeiter*in)
1 Jan. 2024 → 31 Dez. 2025
Projekt: Forschung
Teamlogiken: Neue Brücken zu Datenbank-Reparaturen
Meier, A. (Projektleiter*in (Principal Investigator)) & Fröhlich, N. F. H. (Projektmitarbeiter*in)
1 Mai 2023 → 30 Juni 2026
Projekt: Forschung
Ein logischer Ansatz zur Quantenmechanik und Quantenkontextualität
Virtema, J. T. (Projektleiter*in (Principal Investigator))
1 Nov. 2020 → 31 Okt. 2023
Projekt: Forschung

Organisationsprofil