Account
Edit tools
Intern
SucheSearch
English

Von Tim Lyon hochgeladene Dateien

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche

Diese Spezialseite listet alle hochgeladenen Dateien auf.

Dateiliste
Datum Name Vorschaubild Größe Beschreibung Versionen
09:30, 18. Okt. 2024 IJCAI24-LyoKar.pdf (Datei) 417 KB   1
08:27, 4. Okt. 2024 JAIR24-LyoBer.pdf (Datei) 525 KB   1
17:31, 5. Jun. 2024 LICS24-OstLyo.pdf (Datei) 529 KB   1
15:44, 20. Mai 2024 LICS24 Paper.pdf (Datei) 596 KB   1
15:39, 20. Mai 2024 LICS24.pdf (Datei) 596 KB   1
13:37, 24. Apr. 2024 IJCAI24-Lyon-Karge.pdf (Datei) 419 KB   1
11:23, 4. Okt. 2023 KR 2023 Short Paper Talk - Lyon.pdf (Datei) 321 KB   1
11:22, 4. Okt. 2023 Talk - Lyon.pdf (Datei) 451 KB   1
14:45, 17. Jul. 2023 Jelia23LR.pdf (Datei) 599 KB   1
14:42, 17. Jul. 2023 Jelia23.pdf (Datei) 517 KB   1
15:23, 16. Jul. 2023 NestedSequentsQML.pdf (Datei) 613 KB   1
06:33, 13. Jun. 2023 KRshort.pdf (Datei) 343 KB   1
06:31, 13. Jun. 2023 Logic of actions and expectations (31).pdf (Datei) 577 KB   1
19:41, 6. Okt. 2022 Best-paper-faiq.pdf (Datei) 309 KB   1
18:38, 4. Sep. 2022 Profession Pic 400x600.png (Datei) 444 KB   1
15:49, 25. Jun. 2022 DL22 Lyon Karge.pdf (Datei) 936 KB   1
16:07, 23. Jun. 2022 DL22 - Lyon, Karge.pdf (Datei) 953 KB   1
13:17, 23. Okt. 2021 Pic6.jpg (Datei) 382 KB   1
13:14, 23. Okt. 2021 Ptpic5.jpg (Datei) 478 KB   1
12:58, 23. Okt. 2021 Ptpic4.jpg (Datei) 469 KB   1
12:29, 23. Okt. 2021 Ptpic3.jpg (Datei) 44 KB   1
12:20, 23. Okt. 2021 Ptpic2.pdf (Datei) 38 KB   1
12:11, 23. Okt. 2021 Ptpic1.jpg (Datei) 25 KB   1
10:56, 23. Okt. 2021 Proof Formalisms.pdf (Datei) 54 KB   1
10:55, 23. Okt. 2021 Proof formalisms.jpg (Datei) 466 KB   1
16:36, 14. Okt. 2021 A Framework for Intuitionistic Grammar Logics - Lyon.pdf (Datei) 328 KB   1
17:02, 30. Sep. 2021 Lyo-TAB-2021.pdf (Datei) 414 KB   1
16:52, 30. Sep. 2021 Main Document (PDF).pdf (Datei) 586 KB   1
16:46, 30. Sep. 2021 The Varieties of Ought-implies-Can and Deontic STIT Logic - Kees van Berkel, Tim Lyon.pdf (Datei) 502 KB   1
16:30, 30. Sep. 2021 Dissertation Slides - Lyon.pdf (Datei) 599 KB   1
16:28, 30. Sep. 2021 Dissertation.pdf (Datei) 2,16 MB PhD Thesis of Timothy Stephen Lyon 1
11:31, 18. Jun. 2021 On the Correspondence between Nested Calculi and Semantic Systems for Intuitionistic Logics (PrePrint).pdf (Datei) 741 KB   1
11:26, 18. Jun. 2021 A Decidable Multi-Agent Logic for Reasoning about Actions, Instruments, and Norms (PrePrint).pdf (Datei) 481 KB   1
11:22, 18. Jun. 2021 Syntactic Interpolation for Tense Logics and Bi-Intuitionistic Logic via Nested Sequents.pdf (Datei) 586 KB   1
11:17, 18. Jun. 2021 Automating Agential Reasoning; Proof-Calculi and Syntactic Decidability for STIT Logics (PrePrint).pdf (Datei) 319 KB   1
11:12, 18. Jun. 2021 A Neutral Temporal Deontic STIT Logic (PrePrint).pdf (Datei) 293 KB   1
11:06, 18. Jun. 2021 Cut-free Calculi and Relational Semantics for Temporal STIT Logics (PrePrint).pdf (Datei) 301 KB   1
10:33, 18. Jun. 2021 From Display to Labelled Proofs for Tense Logics (PrePrint).pdf (Datei) 387 KB   1
10:12, 18. Jun. 2021 The Basics of Display Calculi (PrePrint).pdf (Datei) 387 KB   1
14:37, 18. Dez. 2020 PicNew.jpg (Datei) 12 KB   1
21:24, 2. Dez. 2020 400x600 Pic.jpg (Datei) 16 KB   1
21:19, 2. Dez. 2020 Picture 400x600.jpg (Datei) 19 KB   1
14:44, 17. Nov. 2020 Pic400x600.jpg (Datei) 31 KB   1
14:05, 16. Nov. 2020 Picturenewcropped.jpg (Datei) 75 KB   1
13:59, 16. Nov. 2020 The Basics of Display Calculi.pdf (Datei) 723 KB   1
Abgerufen von „https://iccl.inf.tu-dresden.de/web/Spezial:Dateien/Tim_Lyon“