Von Tim Lyon hochgeladene Dateien
Aus International Center for Computational Logic
Diese Spezialseite listet alle hochgeladenen Dateien auf.
| Datum | Name | Vorschaubild | Größe | Beschreibung | Versionen |
|---|---|---|---|---|---|
| 12:53, 5. Okt. 2026 | GandALF26 Full LyoZen.pdf (Datei) | 426 KB | Full version of "Non-Wellfounded and Cyclic Proofs for LTL: A Syntactic Correspondence with Linear Nested Sequents" (published at GandALF 2026) | 1 | |
| 10:09, 23. Sep. 2026 | Best paper award.jpg (Datei) |  |
1,41 MB | Pascal and Hannes Award 2026 | 1 |
| 13:59, 9. Jul. 2026 | Screenshot 2026-07-09 at 15.58.01.png (Datei) |  |
957 KB | 1 | |
| 13:02, 7. Jul. 2026 | 1783214424880.jpg (Datei) |  |
285 KB | 1 | |
| 11:10, 2. Jul. 2026 | Pic hannes.jpeg (Datei) |  |
151 KB | 1 | |
| 10:58, 26. Feb. 2026 | Thesis Topics Lyon.pdf (Datei) | 105 KB | 1 | ||
| 15:16, 11. Jan. 2026 | 2404.15855v3.pdf (Datei) | 1,04 MB | 1 | ||
| 15:16, 11. Jan. 2026 | 2410.24053v3 (2).pdf (Datei) | 876 KB | 1 | ||
| 15:15, 11. Jan. 2026 | 2412.04012v1.pdf (Datei) | 145 KB | 1 | ||
| 15:14, 11. Jan. 2026 | 2312.03426v2.pdf (Datei) | 1,28 MB | 1 | ||
| 11:06, 6. Jan. 2026 | GL-Project .pdf (Datei) | 613 KB | 1 | ||
| 10:57, 6. Jan. 2026 | GL-Project download.pdf (Datei) | 613 KB | 1 | ||
| 12:25, 2. Sep. 2025 | GL-Project.pdf (Datei) | 613 KB | 3 | ||
| 12:14, 28. Mär. 2025 | Thesis Topic Simplified Tableaux for SLTL.pdf (Datei) | 250 KB | 1 | ||
| 15:39, 27. Mär. 2025 | Thesis Topic Ill-Founded Sequent System for LTL.pdf (Datei) | 249 KB | 1 | ||
| 08:30, 18. Okt. 2024 | IJCAI24-LyoKar.pdf (Datei) | 417 KB | 1 | ||
| 07:27, 4. Okt. 2024 | JAIR24-LyoBer.pdf (Datei) | 525 KB | 1 | ||
| 16:31, 5. Jun. 2024 | LICS24-OstLyo.pdf (Datei) | 529 KB | 1 | ||
| 14:44, 20. Mai 2024 | LICS24 Paper.pdf (Datei) | 596 KB | 1 | ||
| 14:39, 20. Mai 2024 | LICS24.pdf (Datei) | 596 KB | 1 | ||
| 12:37, 24. Apr. 2024 | IJCAI24-Lyon-Karge.pdf (Datei) | 419 KB | 1 | ||
| 10:23, 4. Okt. 2023 | KR 2023 Short Paper Talk - Lyon.pdf (Datei) | 321 KB | 1 | ||
| 10:22, 4. Okt. 2023 | Talk - Lyon.pdf (Datei) | 451 KB | 1 | ||
| 13:45, 17. Jul. 2023 | Jelia23LR.pdf (Datei) | 599 KB | 1 | ||
| 13:42, 17. Jul. 2023 | Jelia23.pdf (Datei) | 517 KB | 1 | ||
| 14:23, 16. Jul. 2023 | NestedSequentsQML.pdf (Datei) | 613 KB | 1 | ||
| 05:33, 13. Jun. 2023 | KRshort.pdf (Datei) | 343 KB | 1 | ||
| 05:31, 13. Jun. 2023 | Logic of actions and expectations (31).pdf (Datei) | 577 KB | 1 | ||
| 18:41, 6. Okt. 2022 | Best-paper-faiq.pdf (Datei) | 309 KB | 1 | ||
| 17:38, 4. Sep. 2022 | Profession Pic 400x600.png (Datei) |  |
444 KB | 1 | |
| 14:49, 25. Jun. 2022 | DL22 Lyon Karge.pdf (Datei) | 936 KB | 1 | ||
| 15:07, 23. Jun. 2022 | DL22 - Lyon, Karge.pdf (Datei) | 953 KB | 1 | ||
| 12:17, 23. Okt. 2021 | Pic6.jpg (Datei) |  |
382 KB | 1 | |
| 12:14, 23. Okt. 2021 | Ptpic5.jpg (Datei) |  |
478 KB | 1 | |
| 11:58, 23. Okt. 2021 | Ptpic4.jpg (Datei) |  |
469 KB | 1 | |
| 11:29, 23. Okt. 2021 | Ptpic3.jpg (Datei) |  |
44 KB | 1 | |
| 11:20, 23. Okt. 2021 | Ptpic2.pdf (Datei) | 38 KB | 1 | ||
| 11:11, 23. Okt. 2021 | Ptpic1.jpg (Datei) |  |
25 KB | 1 | |
| 09:56, 23. Okt. 2021 | Proof Formalisms.pdf (Datei) | 54 KB | 1 | ||
| 09:55, 23. Okt. 2021 | Proof formalisms.jpg (Datei) |  |
466 KB | 1 | |
| 15:36, 14. Okt. 2021 | A Framework for Intuitionistic Grammar Logics - Lyon.pdf (Datei) | 328 KB | 1 | ||
| 16:02, 30. Sep. 2021 | Lyo-TAB-2021.pdf (Datei) | 414 KB | 1 | ||
| 15:52, 30. Sep. 2021 | Main Document (PDF).pdf (Datei) | 586 KB | 1 | ||
| 15:46, 30. Sep. 2021 | The Varieties of Ought-implies-Can and Deontic STIT Logic - Kees van Berkel, Tim Lyon.pdf (Datei) | 502 KB | 1 | ||
| 15:30, 30. Sep. 2021 | Dissertation Slides - Lyon.pdf (Datei) | 599 KB | 1 | ||
| 15:28, 30. Sep. 2021 | Dissertation.pdf (Datei) | 2,16 MB | PhD Thesis of Timothy Stephen Lyon | 1 | |
| 10:31, 18. Jun. 2021 | On the Correspondence between Nested Calculi and Semantic Systems for Intuitionistic Logics (PrePrint).pdf (Datei) | 741 KB | 1 | ||
| 10:26, 18. Jun. 2021 | A Decidable Multi-Agent Logic for Reasoning about Actions, Instruments, and Norms (PrePrint).pdf (Datei) | 481 KB | 1 | ||
| 10:22, 18. Jun. 2021 | Syntactic Interpolation for Tense Logics and Bi-Intuitionistic Logic via Nested Sequents.pdf (Datei) | 586 KB | 1 | ||
| 10:17, 18. Jun. 2021 | Automating Agential Reasoning; Proof-Calculi and Syntactic Decidability for STIT Logics (PrePrint).pdf (Datei) | 319 KB | 1 |
