| Kotzsch, Hans-Christoph (2016): Topos semantics for higher-order modal logic. Dissertation, LMU München: Faculty of Philosophy, Philosophy of Science and the Study of Religion |
Preview |
PDF
Kotzsch_Hans-Christoph.pdf 830kB |
DOI: 10.5282/edoc.20405
| Item Type: | Theses (Dissertation, LMU Munich) |
|---|---|
| Keywords: | Modal Logic, Higher-Order Logic, Categorical Logic, Topos Theory |
| Subjects: | 100 Philosophy and Psychology 100 Philosophy and Psychology > 160 Logic |
| Faculties: | Faculty of Philosophy, Philosophy of Science and the Study of Religion |
| Language: | English |
| Date of oral examination: | 27. June 2016 |
| 1. Referee: | Leitgeb, Hannes |
| MD5 Checksum of the PDF-file: | 867de5930823ff54d40b2a3437d72d8c |
| Signature of the printed copy: | 0001/UMC 24458 |
| ID Code: | 20405 |
| Deposited On: | 13. Feb 2017 09:51 |
| Last Modified: | 10. Oct 2025 11:57 |
Repository Staff Only: item control page
