Benutzerbeiträge von „Tim Lyon“

19. November 2024

• 11:0511:05, 19. Nov. 2024 Unterschied Versionen −2 Bytes‎ Inproceedings3403 ‎Keine Bearbeitungszusammenfassung aktuell
• 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 aktuell

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

11. Mai 2024

• 16:5116:51, 11. Mai 2024 Unterschied Versionen +226 Bytes‎ Proof Theory and Sequent Systems (SS2024) ‎Keine Bearbeitungszusammenfassung

2. Mai 2024

• 09:1509:15, 2. Mai 2024 Unterschied Versionen +113 Bytes‎ Proof Theory and Sequent Systems (SS2024) ‎Keine Bearbeitungszusammenfassung Markierung: Manuelle Zurücksetzung
• 09:1509:15, 2. Mai 2024 Unterschied Versionen −113 Bytes‎ Proof Theory and Sequent Systems (SS2024) ‎Keine Bearbeitungszusammenfassung

1. Mai 2024

• 08:0008:00, 1. Mai 2024 Unterschied Versionen +226 Bytes‎ Proof Theory and Sequent Systems (SS2024) ‎Keine Bearbeitungszusammenfassung

25. April 2024

• 06:5506:55, 25. Apr. 2024 Unterschied Versionen +113 Bytes‎ Proof Theory and Sequent Systems (SS2024) ‎Keine Bearbeitungszusammenfassung

24. April 2024

• 13:3913:39, 24. Apr. 2024 Unterschied Versionen +31 Bytes‎ N Inproceedings3379/en ‎ Page created automatically by parser function on page Inproceedings3379 aktuell Markierung: Neue Weiterleitung
• 13:3913:39, 24. Apr. 2024 Unterschied Versionen +1.486 Bytes‎ N Inproceedings3379 ‎ Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Tim |ErsterAutorNachname=Lyon |FurtherAuthors=Jonas Karge }} {{Inproceedings |Referiert=1 |Title=Constructive Interpolation and Concept-Based Beth Definability for Description Logics via Sequents |To appear=1 |Year=2024 |Booktitle=Proceedings of the 33rd International Joint Conference on Artificial Intelligence, IJCAI 2024 |Publisher=ijcai.org }} {{Publikation Details |Abstract=We introduce a constructive met…“
• 13:3713:37, 24. Apr. 2024 Unterschied Versionen 0 Bytes‎ N Datei:IJCAI24-Lyon-Karge.pdf ‎Keine Bearbeitungszusammenfassung aktuell

18. April 2024

• 15:0815:08, 18. Apr. 2024 Unterschied Versionen −1 Byte‎ Proof Theory and Sequent Systems (SS2024) ‎Keine Bearbeitungszusammenfassung Markierung: Manuelle Zurücksetzung
• 15:0815:08, 18. Apr. 2024 Unterschied Versionen +1 Byte‎ Proof Theory and Sequent Systems (SS2024) ‎Keine Bearbeitungszusammenfassung
• 15:0815:08, 18. Apr. 2024 Unterschied Versionen +10 Bytes‎ Proof Theory and Sequent Systems (SS2024) ‎Keine Bearbeitungszusammenfassung
• 15:0715:07, 18. Apr. 2024 Unterschied Versionen −5 Bytes‎ Proof Theory and Sequent Systems (SS2024) ‎Keine Bearbeitungszusammenfassung
• 15:0715:07, 18. Apr. 2024 Unterschied Versionen +2 Bytes‎ Proof Theory and Sequent Systems (SS2024) ‎Keine Bearbeitungszusammenfassung
• 15:0715:07, 18. Apr. 2024 Unterschied Versionen +4 Bytes‎ Proof Theory and Sequent Systems (SS2024) ‎Keine Bearbeitungszusammenfassung
• 15:0515:05, 18. Apr. 2024 Unterschied Versionen +226 Bytes‎ Proof Theory and Sequent Systems (SS2024) ‎Keine Bearbeitungszusammenfassung

15. April 2024

• 13:2013:20, 15. Apr. 2024 Unterschied Versionen +143 Bytes‎ Proof Theory and Sequent Systems (SS2024) ‎Keine Bearbeitungszusammenfassung

6. April 2024

• 11:0211:02, 6. Apr. 2024 Unterschied Versionen +50 Bytes‎ Proof Theory and Sequent Systems (SS2024) ‎Keine Bearbeitungszusammenfassung

5. April 2024

• 05:5105:51, 5. Apr. 2024 Unterschied Versionen −153 Bytes‎ Proof Theory and Sequent Systems (SS2024) ‎Keine Bearbeitungszusammenfassung

4. April 2024

• 14:1614:16, 4. Apr. 2024 Unterschied Versionen +2.096 Bytes‎ N Proof Theory and Sequent Systems (SS2024) ‎ Die Seite wurde neu angelegt: „{{Vorlesung |Title=Proof Theory and Sequent Systems |Research group=Computational Logic |Lecturers=Tim Lyon |Term=SS |Year=2024 |Module=CMS-LM-ADV, CMS-LM-MOC, INF-BAS6, INF-PM-FOR, INF-VERT6 |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 d…“
• 14:1214:12, 4. Apr. 2024 Unterschied Versionen +2.096 Bytes‎ N Proof Theory and Sequent Systems (SS2024)/en ‎ Die Seite wurde neu angelegt: „{{Vorlesung |Title=Proof Theory and Sequent Systems |Research group=Computational Logic |Lecturers=Tim Lyon |Term=SS |Year=2024 |Module=CMS-LM-ADV, CMS-LM-MOC, INF-BAS6, INF-PM-FOR, INF-VERT6 |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 d…“