S.B. (Søren) Knudstorp
Faculteit der Geesteswetenschappen
Logic and Language
Bezoekadres
- Science Park 107
Postadres
-
Postbus 94201
1090 GE Amsterdam
Contactgegevens
-
Publicaties
2025
- Knudstorp, S. B., & Franssen, T. N. (2025). Axiomatization and Decidability of Tense Information Logic. In Logic, Language, Information, and Computation. WoLLIC 2025. Lecture Notes in Computer Science (Vol. 15942, pp. 158-174). Springer Cham. https://doi.org/10.1007/978-3-031-99536-1_10
2024
Knudstorp, S. B. (2024). Relevant S is Undecidable. In Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science Article 51 The Association for Computing Machinery. https://doi.org/10.1145/3661814.3662128 [details]
2023
- Knudstorp, S. B. (2023). Logics of truthmaker semantics: comparison, compactness and decidability. Synthese, 202, Article 206. https://doi.org/10.1007/s11229-023-04401-1 [details]
- Knudstorp, S. B. (2023). Modal Information Logics: Axiomatizations and Decidability. Journal of Philosophical Logic, 52(6), 1723-1766. https://doi.org/10.1007/s10992-023-09724-5 [details]
This list of publications is extracted from the UvA-Current Research Information System. Questions? Ask the library or the Pure staff of your faculty / institute. Log in to Pure to edit your publications. Log in to Personal Page Publication Selection tool to manage the visibility of your publications on this list. -
Nevenwerkzaamheden
Geen nevenwerkzaamheden
Knudstorp, S. B. (2024). Relevant S is Undecidable. In Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science Article 51 The Association for Computing Machinery.