Benutzerbeiträge von „Tim Lyon“

21. November 2025

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

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 aktuell
• 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 aktuell

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 aktuell
• 10:1210:12, 19. Feb. 2025 Unterschied Versionen 0 Inproceedings3402 Keine Bearbeitungszusammenfassung aktuell

23. Januar 2025

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

6. Dezember 2024

• 07:5807:58, 6. Dez. 2024 Unterschied Versionen −4 Inproceedings3404 Keine Bearbeitungszusammenfassung Markierung: Manuelle Zurücksetzung
• 07:5807:58, 6. Dez. 2024 Unterschied Versionen +4 Inproceedings3404 Keine Bearbeitungszusammenfassung
• 06:3306:33, 6. Dez. 2024 Unterschied Versionen −43 Inproceedings3404 Keine Bearbeitungszusammenfassung Markierung: Manuelle Zurücksetzung
• 06:3206:32, 6. Dez. 2024 Unterschied Versionen +43 Inproceedings3404 Keine Bearbeitungszusammenfassung
• 06:3206:32, 6. Dez. 2024 Unterschied Versionen +39 Inproceedings3404 Keine Bearbeitungszusammenfassung

4. Dezember 2024

• 13:2713:27, 4. Dez. 2024 Unterschied Versionen +31 N Inproceedings3404/en Page created automatically by parser function on page Inproceedings3404 aktuell Markierung: Neue Weiterleitung
• 13:2713:27, 4. Dez. 2024 Unterschied Versionen +1.316 N Inproceedings3404 Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Tim |ErsterAutorNachname=Lyon }} {{Inproceedings |Referiert=1 |Title=On Explicit Solutions to Fixed-Point Equations in Propositional Dynamic Logic |To appear=1 |Year=2025 |Booktitle=Proceedings of the Eleventh International Conference on Fundamentals of Software Engineering (FSEN) |Publisher=Springer |Series=LNCS }} {{Publikation Details |Abstract=Propositional dynamic logic (PDL) is an important modal logic…“

25. November 2024

• 09:1409:14, 25. Nov. 2024 Unterschied Versionen −1.327 Inproceedings3286 Keine Bearbeitungszusammenfassung aktuell
• 09:1309:13, 25. Nov. 2024 Unterschied Versionen −962 Inproceedings3284 Keine Bearbeitungszusammenfassung aktuell
• 09:1209:12, 25. Nov. 2024 Unterschied Versionen −1.035 Inproceedings3285 Keine Bearbeitungszusammenfassung aktuell
• 09:1209:12, 25. Nov. 2024 Unterschied Versionen −836 Inproceedings3283 Keine Bearbeitungszusammenfassung aktuell
• 09:1109:11, 25. Nov. 2024 Unterschied Versionen −275 Article3074 Keine Bearbeitungszusammenfassung aktuell
• 09:1109:11, 25. Nov. 2024 Unterschied Versionen −1.168 Inproceedings3288 Keine Bearbeitungszusammenfassung aktuell
• 09:1009:10, 25. Nov. 2024 Unterschied Versionen −917 Inproceedings3287 Keine Bearbeitungszusammenfassung aktuell
• 09:0909:09, 25. Nov. 2024 Unterschied Versionen −1.527 Article3073 Keine Bearbeitungszusammenfassung aktuell

19. November 2024

• 10:0510:05, 19. Nov. 2024 Unterschied Versionen −2 Inproceedings3403 Keine Bearbeitungszusammenfassung
• 10:0410:04, 19. Nov. 2024 Unterschied Versionen +12 Inproceedings3403 Keine Bearbeitungszusammenfassung
• 10:0210:02, 19. Nov. 2024 Unterschied Versionen +10 Inproceedings3402 Keine Bearbeitungszusammenfassung

13. November 2024

• 14:5114:51, 13. Nov. 2024 Unterschied Versionen −6 Inproceedings3403 Keine Bearbeitungszusammenfassung
• 14:5114:51, 13. Nov. 2024 Unterschied Versionen +31 N Inproceedings3403/en Page created automatically by parser function on page Inproceedings3403 aktuell Markierung: Neue Weiterleitung