Search results

  • Full text

  • Document type

    • Publication year

  • Organisation

Results: 4
Number of items: 4
  • Open Access
    Franssen, T. N., & Knudstorp, S. B. (2026). Axiomatization and Decidability of Tense Information Logic. In D. Kozen, & R. de Queiroz (Eds.), Logic, Language, Information, and Computation: 31st International Workshop, WoLLIC 2025, Porto, Portugal, July 14–17, 2025 : proceedings (pp. 158-174). (Lecture Notes in Computer Science; Vol. 15942). Springer. https://doi.org/10.1007/978-3-031-99536-1_10
  • Open Access
    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
  • Open Access
    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
  • Open Access
    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
Page of