Benutzerbeiträge von „Tim Lyon“

13. Januar 2026

• 11:5311:53, 13. Jan. 2026 Unterschied Versionen +14 News109 Keine Bearbeitungszusammenfassung aktuell
• 11:5311:53, 13. Jan. 2026 Unterschied Versionen +1.728 N News109 Die Seite wurde neu angelegt: „{{Neuigkeit |Titel DE=Tim Lyon ist dem Herausgebergremium des Bulletin of the Section of Logic beigetreten |Titel EN=Tim Lyon has joined the editorial board of the Bulletin of the Section of Logic |Beschreibung DE=Tim Lyon, Postdoktorand am ICCL, ist in das Herausgebergremium des Bulletin of the Section of Logic (BSL) aufgenommen worden. Die Zeitschrift ist eine hervorragende Adresse für Forschungsarbeiten im Bereich Logik, und interessierte Wissenschaft…“

11. Januar 2026

• 15:1915:19, 11. Jan. 2026 Unterschied Versionen +58 Article3099 Keine Bearbeitungszusammenfassung aktuell
• 15:1615:16, 11. Jan. 2026 Unterschied Versionen +27 Inproceedings3402 Keine Bearbeitungszusammenfassung aktuell
• 15:1615:16, 11. Jan. 2026 Unterschied Versionen 0 N Datei:2404.15855v3.pdf Keine Bearbeitungszusammenfassung aktuell
• 15:1615:16, 11. Jan. 2026 Unterschied Versionen +31 Inproceedings3403 Keine Bearbeitungszusammenfassung aktuell
• 15:1615:16, 11. Jan. 2026 Unterschied Versionen 0 N Datei:2410.24053v3 (2).pdf Keine Bearbeitungszusammenfassung aktuell
• 15:1515:15, 11. Jan. 2026 Unterschied Versionen +27 Inproceedings3404 Keine Bearbeitungszusammenfassung aktuell
• 15:1515:15, 11. Jan. 2026 Unterschied Versionen 0 N Datei:2412.04012v1.pdf Keine Bearbeitungszusammenfassung aktuell
• 15:1415:14, 11. Jan. 2026 Unterschied Versionen +27 Article3103 Keine Bearbeitungszusammenfassung aktuell
• 15:1415:14, 11. Jan. 2026 Unterschied Versionen 0 N Datei:2312.03426v2.pdf Keine Bearbeitungszusammenfassung aktuell
• 15:1315:13, 11. Jan. 2026 Unterschied Versionen +53 Inproceedings3402 Keine Bearbeitungszusammenfassung
• 15:1215:12, 11. Jan. 2026 Unterschied Versionen +53 Inproceedings3403 Keine Bearbeitungszusammenfassung
• 15:1115:11, 11. Jan. 2026 Unterschied Versionen +74 Article3103 Keine Bearbeitungszusammenfassung
• 15:1015:10, 11. Jan. 2026 Unterschied Versionen +15 Techreport3054 Keine Bearbeitungszusammenfassung aktuell

6. Januar 2026

• 11:0711:07, 6. Jan. 2026 Unterschied Versionen +541 N Techreport3054 Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Omar |ErsterAutorNachname=Taher |FurtherAuthors=Tim Lyon }} {{Techreport |Title=Automated Proof-Search for Gödel-Löb Provability Logic via Tree Sequents |Year=2025 |Institution=TU Dresden |Note=Report from Master's Project }} {{Publikation Details |Abstract=This paper introduces an EXPTIME decision procedure for the (in)validity of Gödel-Löb Provability Logic via a syntactic variant of the Tree-Hyperseque…“
• 11:0611:06, 6. Jan. 2026 Unterschied Versionen 0 N Datei:GL-Project .pdf Keine Bearbeitungszusammenfassung aktuell
• 10:5710:57, 6. Jan. 2026 Unterschied Versionen 0 N Datei:GL-Project download.pdf Keine Bearbeitungszusammenfassung aktuell

18. Dezember 2025

• 13:4613:46, 18. Dez. 2025 Unterschied Versionen +113 Proof Theory and Sequent Systems (WS2025) Keine Bearbeitungszusammenfassung aktuell

6. Dezember 2025

• 15:0215:02, 6. Dez. 2025 Unterschied Versionen +339 Proof Theory and Sequent Systems (WS2025) Keine Bearbeitungszusammenfassung

21. November 2025

• 08:0308:03, 21. Nov. 2025 Unterschied Versionen +113 Proof Theory and Sequent Systems (WS2025) Keine Bearbeitungszusammenfassung

14. November 2025

• 10:2010:20, 14. Nov. 2025 Unterschied Versionen +113 Proof Theory and Sequent Systems (WS2025) Keine Bearbeitungszusammenfassung

10. November 2025

• 11:5111:51, 10. Nov. 2025 Unterschied Versionen +113 Proof Theory and Sequent Systems (WS2025) Keine Bearbeitungszusammenfassung

24. Oktober 2025

• 09:1409:14, 24. Okt. 2025 Unterschied Versionen +113 Proof Theory and Sequent Systems (WS2025) Keine Bearbeitungszusammenfassung

7. Oktober 2025

• 11:2111:21, 7. Okt. 2025 Unterschied Versionen +2.246 N Proof Theory and Sequent Systems (WS2025) Die Seite wurde neu angelegt: „{{Vorlesung |Title=Proof Theory and Sequent Systems |Research group=Computational Logic |Lecturers=Tim Lyon |Term=WS |Year=2025 |Module=INF-25-Ma-FTK-ASAI, INF-BAS2, INF-VERT2 |SWSLecture=2 |SWSExercise=0 |SWSPractical=0 |Exam type=mündliche Prüfung |Description====Course Description=== Proof theory serves as one of the central pillars of mathematical logic and concerns the study and application of formal proofs. Typically, proofs are defined as synt…“

2. September 2025

• 12:2512:25, 2. Sep. 2025 Unterschied Versionen −27 Thema3517 Keine Bearbeitungszusammenfassung aktuell
• 12:2512:25, 2. Sep. 2025 Unterschied Versionen 0 Datei:GL-Project.pdf Tim Lyon lud eine neue Version von Datei:GL-Project.pdf hoch aktuell
• 12:2312:23, 2. Sep. 2025 Unterschied Versionen −2 Thema3517 Keine Bearbeitungszusammenfassung
• 12:2212:22, 2. Sep. 2025 Unterschied Versionen 0 Datei:GL-Project.pdf Tim Lyon lud eine neue Version von Datei:GL-Project.pdf hoch
• 12:2012:20, 2. Sep. 2025 Unterschied Versionen −2 Thema3517 Keine Bearbeitungszusammenfassung
• 12:2012:20, 2. Sep. 2025 Unterschied Versionen −2 Thema3517 Keine Bearbeitungszusammenfassung
• 12:1112:11, 2. Sep. 2025 Unterschied Versionen +65 Thema3517 Keine Bearbeitungszusammenfassung
• 12:0812:08, 2. Sep. 2025 Unterschied Versionen +735 N Thema3517 Die Seite wurde neu angelegt: „{{Abschlussarbeit |Titel DE=Automated Proof-Search for Gödel-Löb Provability Logic via Tree Sequents |Titel EN=Automated Proof-Search for Gödel-Löb Provability Logic via Tree Sequents |Vorname=Omar |Nachname=Y. A. A. Taher |Abschlussarbeitstyp=Studienarbeit |Betreuer=Tim Lyon |Forschungsgruppe=Computational Logic |Abschlussarbeitsstatus=Abgeschlossen |Beschreibung DE=This paper introduces an EXPTIME decision procedure for (in)validity for the Gödel-L…“
• 12:0612:06, 2. Sep. 2025 Unterschied Versionen 0 N Datei:GL-Project.pdf Keine Bearbeitungszusammenfassung

13. Mai 2025

• 17:0017:00, 13. Mai 2025 Unterschied Versionen −2 Article3103 Keine Bearbeitungszusammenfassung
• 16:5916:59, 13. Mai 2025 Unterschied Versionen +6 Article3103 Keine Bearbeitungszusammenfassung
• 16:5916:59, 13. Mai 2025 Unterschied Versionen +61 Article3103 Keine Bearbeitungszusammenfassung

28. März 2025

• 12:1612:16, 28. Mär. 2025 Unterschied Versionen +58 Thema3516 Keine Bearbeitungszusammenfassung aktuell
• 12:1512:15, 28. Mär. 2025 Unterschied Versionen −2 Thema3516 Keine Bearbeitungszusammenfassung
• 12:1412:14, 28. Mär. 2025 Unterschied Versionen +22 N Thema3516/en Page created automatically by parser function on page Thema3516 aktuell
• 12:1412:14, 28. Mär. 2025 Unterschied Versionen +2.430 N Thema3516 Die Seite wurde neu angelegt: „{{Abschlussarbeit |Titel DE=A Simplified Tableau Calculus for Standpoint LTL |Titel EN=A Simplified Tableau Calculus for Standpoint LTL |Abschlussarbeitstyp=Master |Betreuer=Tim Lyon |Forschungsgruppe=Computational Logic |Abschlussarbeitsstatus=Offen |Beschreibung DE=Die lineare temporale Logik (LTL) ist eine modale Logik, die zur Untersuchung temporaler Eigenschaften in der Informatik verwendet wird, während die Standpunktlogik (SL) eine kürzlich einge…“
• 12:1412:14, 28. Mär. 2025 Unterschied Versionen 0 N Datei:Thesis Topic Simplified Tableaux for SLTL.pdf Keine Bearbeitungszusammenfassung aktuell
• 12:0512:05, 28. Mär. 2025 Unterschied Versionen +22 N Thema3515/en Page created automatically by parser function on page Thema3515 aktuell

27. März 2025

• 15:3915:39, 27. Mär. 2025 Unterschied Versionen 0 N Datei:Thesis Topic Ill-Founded Sequent System for LTL.pdf Keine Bearbeitungszusammenfassung aktuell

26. März 2025

• 18:4118:41, 26. Mär. 2025 Unterschied Versionen +125 Inproceedings3404 Keine Bearbeitungszusammenfassung

3. März 2025

• 16:5716:57, 3. Mär. 2025 Unterschied Versionen +25 N Article3103/en Page created automatically by parser function on page Article3103 aktuell Markierung: Neue Weiterleitung
• 16:5716:57, 3. Mär. 2025 Unterschied Versionen +1.634 N Article3103 Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Tim |ErsterAutorNachname=Lyon |FurtherAuthors=Agata Ciabattoni; Didier Galmiche; Marianna Girlando; Dominique Larchey-Wendling; Daniel Méry; Nicola Olivetti; Revantha Ramanayake }} {{Article |Referiert=1 |Title=Internal and External Calculi: Ordering the Jungle without Being Lost in Translations |To appear=0 |Year=2025 |Journal=Bulletin of the Section of Logic }} {{Publikation Details |Abstract=This paper gi…“

19. Februar 2025

• 10:1210:12, 19. Feb. 2025 Unterschied Versionen 0 Inproceedings3403 Keine Bearbeitungszusammenfassung
• 10:1210:12, 19. Feb. 2025 Unterschied Versionen 0 Inproceedings3402 Keine Bearbeitungszusammenfassung

23. Januar 2025

• 18:5118:51, 23. Jan. 2025 Unterschied Versionen +34 Computational Logic Keine Bearbeitungszusammenfassung aktuell