Benutzerbeiträge von „Tim Lyon“

28. März 2025

• 14:1614:16, 28. Mär. 2025 Unterschied Versionen +58 Bytes‎ Thema3516 ‎Keine Bearbeitungszusammenfassung aktuell
• 14:1514:15, 28. Mär. 2025 Unterschied Versionen −2 Bytes‎ Thema3516 ‎Keine Bearbeitungszusammenfassung
• 14:1514:15, 28. Mär. 2025 Unterschied Versionen −1 Byte‎ Thema3515 ‎Keine Bearbeitungszusammenfassung aktuell
• 14:1414:14, 28. Mär. 2025 Unterschied Versionen +22 Bytes‎ N Thema3516/en ‎ Page created automatically by parser function on page Thema3516 aktuell
• 14:1414:14, 28. Mär. 2025 Unterschied Versionen +2.430 Bytes‎ 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…“
• 14:1414:14, 28. Mär. 2025 Unterschied Versionen 0 Bytes‎ N Datei:Thesis Topic Simplified Tableaux for SLTL.pdf ‎Keine Bearbeitungszusammenfassung aktuell
• 14:1014:10, 28. Mär. 2025 Unterschied Versionen +1 Byte‎ Thema3515 ‎Keine Bearbeitungszusammenfassung
• 14:1014:10, 28. Mär. 2025 Unterschied Versionen +2 Bytes‎ Thema3515 ‎Keine Bearbeitungszusammenfassung
• 14:0914:09, 28. Mär. 2025 Unterschied Versionen +287 Bytes‎ Thema3515 ‎Keine Bearbeitungszusammenfassung
• 14:0814:08, 28. Mär. 2025 Unterschied Versionen −3 Bytes‎ Thema3515 ‎Keine Bearbeitungszusammenfassung Markierung: Manuelle Zurücksetzung
• 14:0714:07, 28. Mär. 2025 Unterschied Versionen +2 Bytes‎ Thema3515 ‎Keine Bearbeitungszusammenfassung
• 14:0714:07, 28. Mär. 2025 Unterschied Versionen +1 Byte‎ Thema3515 ‎Keine Bearbeitungszusammenfassung
• 14:0714:07, 28. Mär. 2025 Unterschied Versionen +2 Bytes‎ Thema3515 ‎Keine Bearbeitungszusammenfassung
• 14:0614:06, 28. Mär. 2025 Unterschied Versionen +6 Bytes‎ Thema3515 ‎Keine Bearbeitungszusammenfassung
• 14:0514:05, 28. Mär. 2025 Unterschied Versionen +22 Bytes‎ N Thema3515/en ‎ Page created automatically by parser function on page Thema3515 aktuell
• 14:0514:05, 28. Mär. 2025 Unterschied Versionen +2.192 Bytes‎ N Thema3515 ‎ Die Seite wurde neu angelegt: „{{Abschlussarbeit |Titel DE=Ill-Founded Linear Nested Sequents for LTL |Titel EN=Ill-Founded Linear Nested Sequents for LTL |Abschlussarbeitstyp=Master |Betreuer=Tim Lyon |Forschungsgruppe=Computational Logic |Abschlussarbeitsstatus=Offen |Ergebnisse=Thesis Topic Ill-Founded Sequent System for LTL.pdf |Beschreibung DE=Die lineare temporale Logik (LTL) ist eine modale Logik zur Untersuchung temporaler Eigenschaften in der Informatik, insbesondere in der Pr…“

27. März 2025

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

26. März 2025

• 20:4120:41, 26. Mär. 2025 Unterschied Versionen +125 Bytes‎ Inproceedings3404 ‎Keine Bearbeitungszusammenfassung aktuell

3. März 2025

• 18:5718:57, 3. Mär. 2025 Unterschied Versionen +25 Bytes‎ N Article3103/en ‎ Page created automatically by parser function on page Article3103 aktuell Markierung: Neue Weiterleitung
• 18:5718:57, 3. Mär. 2025 Unterschied Versionen +1.634 Bytes‎ 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…“ aktuell

19. Februar 2025

• 12:1212:12, 19. Feb. 2025 Unterschied Versionen 0 Bytes‎ Inproceedings3403 ‎Keine Bearbeitungszusammenfassung aktuell
• 12:1212:12, 19. Feb. 2025 Unterschied Versionen 0 Bytes‎ Inproceedings3402 ‎Keine Bearbeitungszusammenfassung aktuell

23. Januar 2025

• 20:5120:51, 23. Jan. 2025 Unterschied Versionen +34 Bytes‎ Computational Logic ‎Keine Bearbeitungszusammenfassung aktuell

6. Dezember 2024

• 09:5809:58, 6. Dez. 2024 Unterschied Versionen −4 Bytes‎ Inproceedings3404 ‎Keine Bearbeitungszusammenfassung Markierung: Manuelle Zurücksetzung
• 09:5809:58, 6. Dez. 2024 Unterschied Versionen +4 Bytes‎ Inproceedings3404 ‎Keine Bearbeitungszusammenfassung
• 08:3308:33, 6. Dez. 2024 Unterschied Versionen −43 Bytes‎ Inproceedings3404 ‎Keine Bearbeitungszusammenfassung Markierung: Manuelle Zurücksetzung
• 08:3208:32, 6. Dez. 2024 Unterschied Versionen +43 Bytes‎ Inproceedings3404 ‎Keine Bearbeitungszusammenfassung
• 08:3208:32, 6. Dez. 2024 Unterschied Versionen +39 Bytes‎ Inproceedings3404 ‎Keine Bearbeitungszusammenfassung

4. Dezember 2024

• 15:2715:27, 4. Dez. 2024 Unterschied Versionen +31 Bytes‎ N Inproceedings3404/en ‎ Page created automatically by parser function on page Inproceedings3404 aktuell Markierung: Neue Weiterleitung
• 15:2715:27, 4. Dez. 2024 Unterschied Versionen +1.316 Bytes‎ 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

• 11:1411:14, 25. Nov. 2024 Unterschied Versionen −1.327 Bytes‎ Inproceedings3286 ‎Keine Bearbeitungszusammenfassung aktuell
• 11:1311:13, 25. Nov. 2024 Unterschied Versionen −962 Bytes‎ Inproceedings3284 ‎Keine Bearbeitungszusammenfassung aktuell
• 11:1211:12, 25. Nov. 2024 Unterschied Versionen −1.035 Bytes‎ Inproceedings3285 ‎Keine Bearbeitungszusammenfassung aktuell
• 11:1211:12, 25. Nov. 2024 Unterschied Versionen −836 Bytes‎ Inproceedings3283 ‎Keine Bearbeitungszusammenfassung aktuell
• 11:1111:11, 25. Nov. 2024 Unterschied Versionen −275 Bytes‎ Article3074 ‎Keine Bearbeitungszusammenfassung aktuell
• 11:1111:11, 25. Nov. 2024 Unterschied Versionen −1.168 Bytes‎ Inproceedings3288 ‎Keine Bearbeitungszusammenfassung aktuell
• 11:1011:10, 25. Nov. 2024 Unterschied Versionen −917 Bytes‎ Inproceedings3287 ‎Keine Bearbeitungszusammenfassung aktuell
• 11:0911:09, 25. Nov. 2024 Unterschied Versionen −1.527 Bytes‎ Article3073 ‎Keine Bearbeitungszusammenfassung aktuell

19. November 2024

• 12:0512:05, 19. Nov. 2024 Unterschied Versionen −2 Bytes‎ Inproceedings3403 ‎Keine Bearbeitungszusammenfassung
• 12:0412:04, 19. Nov. 2024 Unterschied Versionen +12 Bytes‎ Inproceedings3403 ‎Keine Bearbeitungszusammenfassung
• 12:0212:02, 19. Nov. 2024 Unterschied Versionen +10 Bytes‎ Inproceedings3402 ‎Keine Bearbeitungszusammenfassung

13. November 2024

• 16:5116:51, 13. Nov. 2024 Unterschied Versionen −6 Bytes‎ Inproceedings3403 ‎Keine Bearbeitungszusammenfassung
• 16:5116:51, 13. Nov. 2024 Unterschied Versionen +31 Bytes‎ N Inproceedings3403/en ‎ Page created automatically by parser function on page Inproceedings3403 aktuell Markierung: Neue Weiterleitung
• 16:5116:51, 13. Nov. 2024 Unterschied Versionen +2.407 Bytes‎ N Inproceedings3403 ‎ Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Tim |ErsterAutorNachname=Lyon }} {{Inproceedings |Referiert=1 |Title=Unifying Sequent Systems for G{\"o}del-L{\"o}b Provability Logic via Syntactic Transformations |To appear=1 |Year=2025 |Booktitle=Proceedings of the 33rd EACSL Annual Conference on Computer Science Logic 2025 |Publisher=Schloss Dagstuhl - Leibniz-Zentrum für Informatik |Editor=Jörg Endrullis, Sylvain Schmitz |Series=LIPIcs |Volume=326 }} {…“
• 16:4716:47, 13. Nov. 2024 Unterschied Versionen +31 Bytes‎ N Inproceedings3402/en ‎ Page created automatically by parser function on page Inproceedings3402 aktuell Markierung: Neue Weiterleitung
• 16:4716:47, 13. Nov. 2024 Unterschied Versionen +2.244 Bytes‎ N Inproceedings3402 ‎ Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Tim |ErsterAutorNachname=Lyon |FurtherAuthors=Ian Shillito; Alwen Tiu }} {{Inproceedings |Referiert=1 |Title=Taking Bi-Intuitionistic Logic First-Order: A Proof-Theoretic Investigation via Polytree Sequents |To appear=1 |Year=2025 |Booktitle=Proceedings of the 33rd EACSL Annual Conference on Computer Science Logic 2025 |Publisher=Schloss Dagstuhl - Leibniz-Zentrum für Informatik |Editor=Jörg Endrullis, Sylv…“

18. Oktober 2024

• 10:3010:30, 18. Okt. 2024 Unterschied Versionen −7 Bytes‎ Inproceedings3379 ‎Keine Bearbeitungszusammenfassung
• 10:3010:30, 18. Okt. 2024 Unterschied Versionen 0 Bytes‎ N Datei:IJCAI24-LyoKar.pdf ‎Keine Bearbeitungszusammenfassung aktuell

4. Oktober 2024

• 09:2709:27, 4. Okt. 2024 Unterschied Versionen +28 Bytes‎ Article3099 ‎Keine Bearbeitungszusammenfassung aktuell
• 09:2709:27, 4. Okt. 2024 Unterschied Versionen 0 Bytes‎ N Datei:JAIR24-LyoBer.pdf ‎Keine Bearbeitungszusammenfassung aktuell