Benutzerbeiträge von „Tim Lyon“

3. März 2025

• 17:5717: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
• 17:5717: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

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

23. Januar 2025

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

6. Dezember 2024

• 08:5808:58, 6. Dez. 2024 Unterschied Versionen −4 Bytes‎ Inproceedings3404 ‎Keine Bearbeitungszusammenfassung aktuell Markierung: Manuelle Zurücksetzung
• 08:5808:58, 6. Dez. 2024 Unterschied Versionen +4 Bytes‎ Inproceedings3404 ‎Keine Bearbeitungszusammenfassung
• 07:3307:33, 6. Dez. 2024 Unterschied Versionen −43 Bytes‎ Inproceedings3404 ‎Keine Bearbeitungszusammenfassung Markierung: Manuelle Zurücksetzung
• 07:3207:32, 6. Dez. 2024 Unterschied Versionen +43 Bytes‎ Inproceedings3404 ‎Keine Bearbeitungszusammenfassung
• 07:3207:32, 6. Dez. 2024 Unterschied Versionen +39 Bytes‎ Inproceedings3404 ‎Keine Bearbeitungszusammenfassung

4. Dezember 2024

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

• 10:1410:14, 25. Nov. 2024 Unterschied Versionen −1.327 Bytes‎ Inproceedings3286 ‎Keine Bearbeitungszusammenfassung aktuell
• 10:1310:13, 25. Nov. 2024 Unterschied Versionen −962 Bytes‎ Inproceedings3284 ‎Keine Bearbeitungszusammenfassung aktuell
• 10:1210:12, 25. Nov. 2024 Unterschied Versionen −1.035 Bytes‎ Inproceedings3285 ‎Keine Bearbeitungszusammenfassung aktuell
• 10:1210:12, 25. Nov. 2024 Unterschied Versionen −836 Bytes‎ Inproceedings3283 ‎Keine Bearbeitungszusammenfassung aktuell
• 10:1110:11, 25. Nov. 2024 Unterschied Versionen −275 Bytes‎ Article3074 ‎Keine Bearbeitungszusammenfassung aktuell
• 10:1110:11, 25. Nov. 2024 Unterschied Versionen −1.168 Bytes‎ Inproceedings3288 ‎Keine Bearbeitungszusammenfassung aktuell
• 10:1010:10, 25. Nov. 2024 Unterschied Versionen −917 Bytes‎ Inproceedings3287 ‎Keine Bearbeitungszusammenfassung aktuell
• 10:0910:09, 25. Nov. 2024 Unterschied Versionen −1.527 Bytes‎ Article3073 ‎Keine Bearbeitungszusammenfassung aktuell

19. November 2024

• 11:0511:05, 19. Nov. 2024 Unterschied Versionen −2 Bytes‎ Inproceedings3403 ‎Keine Bearbeitungszusammenfassung
• 11:0411:04, 19. Nov. 2024 Unterschied Versionen +12 Bytes‎ Inproceedings3403 ‎Keine Bearbeitungszusammenfassung
• 11:0211:02, 19. Nov. 2024 Unterschied Versionen +10 Bytes‎ Inproceedings3402 ‎Keine Bearbeitungszusammenfassung

13. November 2024

• 15:5115:51, 13. Nov. 2024 Unterschied Versionen −6 Bytes‎ Inproceedings3403 ‎Keine Bearbeitungszusammenfassung
• 15:5115:51, 13. Nov. 2024 Unterschied Versionen +31 Bytes‎ N Inproceedings3403/en ‎ Page created automatically by parser function on page Inproceedings3403 aktuell Markierung: Neue Weiterleitung
• 15:5115: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 }} {…“
• 15:4715:47, 13. Nov. 2024 Unterschied Versionen +31 Bytes‎ N Inproceedings3402/en ‎ Page created automatically by parser function on page Inproceedings3402 aktuell Markierung: Neue Weiterleitung
• 15:4715: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

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

4. Oktober 2024

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

12. August 2024

• 12:2612:26, 12. Aug. 2024 Unterschied Versionen 0 Bytes‎ Article3099 ‎Keine Bearbeitungszusammenfassung
• 12:2412:24, 12. Aug. 2024 Unterschied Versionen +375 Bytes‎ Article3099 ‎Keine Bearbeitungszusammenfassung

6. August 2024

• 20:1420:14, 6. Aug. 2024 Unterschied Versionen +137 Bytes‎ Article3099 ‎Keine Bearbeitungszusammenfassung
• 20:1320:13, 6. Aug. 2024 Unterschied Versionen +83 Bytes‎ Article3092 ‎Keine Bearbeitungszusammenfassung aktuell
• 20:1020:10, 6. Aug. 2024 Unterschied Versionen +25 Bytes‎ N Article3099/en ‎ Page created automatically by parser function on page Article3099 aktuell Markierung: Neue Weiterleitung
• 20:1020:10, 6. Aug. 2024 Unterschied Versionen +1.351 Bytes‎ N Article3099 ‎ Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Tim |ErsterAutorNachname=Lyon |FurtherAuthors=Kees van Berkel }} {{Article |Referiert=1 |Title=Proof Theory and Decision Procedures for Deontic STIT Logics |To appear=1 |Year=2024 |Journal=Journal of Artificial Intelligence Research }} {{Publikation Details |Abstract=This paper addresses the automation of reasoning with deontic STIT logics by means of proof theory. Our methodology consists of leveraging sound…“

13. Juni 2024

• 06:5406:54, 13. Jun. 2024 Unterschied Versionen +114 Bytes‎ Proof Theory and Sequent Systems (SS2024) ‎Keine Bearbeitungszusammenfassung aktuell

8. Juni 2024

• 07:5207:52, 8. Jun. 2024 Unterschied Versionen +227 Bytes‎ Proof Theory and Sequent Systems (SS2024) ‎Keine Bearbeitungszusammenfassung

5. Juni 2024

• 17:3117:31, 5. Jun. 2024 Unterschied Versionen +1 Byte‎ Inproceedings3381 ‎Keine Bearbeitungszusammenfassung aktuell
• 17:3117:31, 5. Jun. 2024 Unterschied Versionen 0 Bytes‎ N Datei:LICS24-OstLyo.pdf ‎Keine Bearbeitungszusammenfassung aktuell

30. Mai 2024

• 07:3907:39, 30. Mai 2024 Unterschied Versionen +113 Bytes‎ Proof Theory and Sequent Systems (SS2024) ‎Keine Bearbeitungszusammenfassung

23. Mai 2024

• 09:1809:18, 23. Mai 2024 Unterschied Versionen +113 Bytes‎ Proof Theory and Sequent Systems (SS2024) ‎Keine Bearbeitungszusammenfassung
• 09:1509:15, 23. Mai 2024 Unterschied Versionen −113 Bytes‎ Proof Theory and Sequent Systems (SS2024) ‎Keine Bearbeitungszusammenfassung

20. Mai 2024

• 17:1517:15, 20. Mai 2024 Unterschied Versionen +1 Byte‎ Inproceedings3379 ‎Keine Bearbeitungszusammenfassung
• 15:4515:45, 20. Mai 2024 Unterschied Versionen +31 Bytes‎ N Inproceedings3381/en ‎ Page created automatically by parser function on page Inproceedings3381 aktuell Markierung: Neue Weiterleitung
• 15:4515:45, 20. Mai 2024 Unterschied Versionen +1.531 Bytes‎ N Inproceedings3381 ‎ Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Piotr |ErsterAutorNachname=Ostropolski-Nalewaja |FurtherAuthors=Tim Lyon }} {{Inproceedings |Referiert=1 |Title=Decidability of Quasi-Dense Modal Logics |To appear=0 |Year=2024 |Booktitle=Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2024) |Publisher=ACM }} {{Publikation Details |Abstract=The decidability of axiomatic extensions of the modal logic K with modal reduction…“
• 15:4415:44, 20. Mai 2024 Unterschied Versionen 0 Bytes‎ N Datei:LICS24 Paper.pdf ‎Keine Bearbeitungszusammenfassung aktuell
• 15:3915:39, 20. Mai 2024 Unterschied Versionen 0 Bytes‎ N Datei:LICS24.pdf ‎Keine Bearbeitungszusammenfassung aktuell