University of Liverpool

Forschungsprojekte

• The Transformation of Epistemic Agency and Governance in Higher Education Through Large Language Models: Toward a future of organized immaturity Why and how does the use of large language models (LLMs) transform epistemic agency and epistemic governance…
• Deciding the Existence of Interpolants and Definitions in First-Order Modal Logic None of the first-order modal logics between $\mathsf{K}$ and $\mathsf{S5}$ under the constant domain semanti…