Search results

  • Full text

  • Document type

    • Publication year

  • Organisation

Results: 12
Number of items: 12
  • Open Access
    Allen, B. P., Chhikara, P., Ferguson, T. M., Ilievski, F., & Groth, P. (2025). Sound and Complete Neurosymbolic Reasoning with LLM-Grounded Interpretations. Proceedings of Machine Learning Research, 284, 392-419. https://proceedings.mlr.press/v284/allen25a.html
  • Open Access
    Ferguson, T. M. (2023). Subject-matter and intensional operators I: conditional-agnostic analytic implication. Philosophical Studies, 180(7), 1849-1879. https://doi.org/10.1007/s11098-023-01952-4
  • Open Access
    Ferguson, T. M. (2023). Monstrous Content and the Bounds of Discourse. Journal of Philosophical Logic, 52(1), 111-143. https://doi.org/10.1007/s10992-022-09666-4
  • Ferguson, T. M. (2022). Non-Deterministic Many-Valued Modal Logic. In 2022 IEEE 52nd International Symposium on Multiple-Valued Logic: 18-20 May 2022, online event : proceedings (pp. 106-112). (ISMVL). IEEE. https://doi.org/10.1109/ISMVL52857.2022.00023
  • Open Access
    Ferguson, T. M., & Ramírez-Cámara, E. (2022). Deep ST. Journal of Philosophical Logic, 51(6), 1261–1293. https://doi.org/10.1007/s10992-021-09630-8
  • Szmuc, D., & Ferguson, T. M. (2021). Meaningless Divisions. Notre Dame Journal of Formal Logic, 62(3), 399-424. https://doi.org/10.1215/00294527-2021-0022
  • Open Access
    Ferguson, T. M. (2021). Secrecy, Content, and Quantification. Análisis Filosófico, 41(2), 285-302. https://doi.org/10.36446/af.2021.457
  • Open Access
    Ferguson, T. M., & Priest, G. (2021). Meyer's Relevant Arithmetic: Introduction to the Special Issue. The Australasian Journal of Logic, 18(5), 132-145. Article 1. https://doi.org/10.26686/ajl.v18i5.6901
  • Open Access
    Ferguson, T. M., & Ramírez-Cámara, E. (2021). Episodes in Model-Theoretic Xenology: Rationals as Positive Integers in R#. The Australasian Journal of Logic, 18(5), 425-442. Article 9. https://doi.org/10.26686/ajl.v18i5.6919
  • Open Access
    Ferguson, T. M. (2021). Tableaux and Restricted Quantification for Systems Related to Weak Kleene Logic. In A. Das, & S. Negri (Eds.), Automated Reasoning with Analytic Tableaux and Related Methods: 30th International Conference, TABLEAUX 2021, Birmingham, UK, September 6–9, 2021 : proceedings (pp. 3-19). (Lecture Notes in Computer Science; Vol. 12842), (Lecture Notes in Artificial Intelligence). Springer. https://doi.org/10.1007/978-3-030-86059-2_1
Page 1 of 2