Search results
Results: 3
Number of items: 3
-
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 -
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
-
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
Page of