Von Tim Lyon hochgeladene Dateien

Diese Spezialseite listet alle hochgeladenen Dateien auf.

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