• Exploatering och social underordning 

  Malmqvist, Erik; Szigeti, András (2025)

• Antimicrobial resistance in the environment: ethical considerations for policy 

  Fumagalli, Davide (2025-11-25)

  This thesis contributes to the field of public health ethics by examining the ethical challenges posed by antimicrobial resistance (AMR) in the environment, with a particular focus on those that are relevant to policymaking. ...

• Cyclic Proof Theory 

  Wehr, Dominik (2025-11-18)

  Cyclic proofs are graphs, rather than trees, requiring additional soundness conditions to distinguish proofs from mere derivations. Using an abstract notion of cyclic proof system (CPS), this dissertation presents uniform ...

• Navigating knowledge and values in primary care governance 

  Lagerlöf, Helena (2025-11-07)

  This dissertation explores tensions between different forms of knowledge and values embedded within governance practices, aiming to contribute to more informed decision-making within purchaser governance in Swedish ...

• Ordering Thought: Cognitive Complexity of a Description Logic 

  Fokkens, Tjeerd (Acta Universitatis Gothoburgensis, 2025-10-06)

  \noindent Knowledge bases are used in a variety of industries to efficiently represent data, but they sometimes contain errors. The debugging of knowledge bases is, therefore, a vitally important process. Debugging ...

• Fixed IDs about Truth – Truth and Fixpoints over Intuitionistic Arithmetic 

  Granberg Olsson, Mattias (Acta Universitatis Gothoburgensis, 2025-05-08)

  This dissertation concerns first-order theories of iterated positive truth and fixpoints over intuitionistic arithmetic in three respects: the strength of these theories relative to the arithmetic base theories, relationships ...

• A Friedman–Sheard-style Theory for Classical Realisability 

  Hayashi, Daichi; Leigh, Graham E. (2025)

  In Hayashi and Leigh (2024), the authors formulate classical number realisability for first-order arithmetic and a corresponding axiomatic system based on Krivine’s classical realisability interpretation. This paper ...

• On proofs in the Friedman–Sheard theory 

  Pertun Broberg, Anton; Leigh, Graham E. (2025-03-26)

  We explore the proof theory of subsystems of the Friedman–Sheard axiomatic theory of truth FS given by restricting the use of the necessitation and co-necessitation rules. It is known that removing either rule completely ...

• A metapredicative study of μ-arithmetics 

  Afshari, Bahareh; Leigh, Graham E. (2025-01-27)

  We present a semi-formal analysis of intuitionistic higher-order μ-arithmetic through the medium of illfounded proofs and continuous cut elimination.

• A Study of Actual and Non-Actual Motion Expressions in Telugu: A path towards a post-Talmian Motion Event Typology 

  Naidu, Viswanatha (2024-11-05)

  This compilation thesis investigates the expressions of actual and non-actual motion (henceforth AM and NAM, respectively) in Telugu (Dravidian). AM refers to a situation where a physical object moves from one place to ...

• Computational Models of Language and Vision: Studies of Neural Models as Learners of Multi-Modal Knowledge 

  Ilinykh, Nikolai (2024-05-16)

  This thesis develops and evaluates computational models that generate natural language descriptions of visual content. We build and examine models of language and vision to gain a deeper understanding of how they reflect ...

• Fundamental Dynamicity – A Metaphysics of Time and Process 

  Zachrau, Maximilian (Acta Universitatis Gothoburgensis, 2024-05-02)

  This book continues a long tradition in philosophy going back to the pre-Socratics, who made a rather simple observation that still holds true today: All things flow. We experience this flow, flux, in abundance: the seasons ...

• Look on my thesis, ye mighty: gaze interaction and social robotics 

  Somashekarappa, Vidya (2024-04-02)

  Gaze, a significant non-verbal social signal, conveys attentional cues and provides insight into others’ intentions and future actions. The thesis examines the intricate aspects of gaze in human-human dyadic interaction, ...

• ”A social engineer or a parasite on society”: The moral responsibility of enabling (un)ethical business conduct 

  Elliott, Jasmine Christine (Acta Universitatis Gothoburgensis, 2024-02-28)

• Exploring Evidence-Based Practice Through New Forms of Engagement 

  Pistone, Isabella (2023-12-15)

  This thesis is concerned with how to connect Science and Technology Studies (STS) with Evidence-Based Practice (EBP) through new forms of engagements. EBP is commonly associated with efforts to improve quality of welfare ...

• Relaxing Normativity: Essays on Relaxed Approaches to Realism about Normativity 

  Karimi, Paiman (Acta Universitatis Gothoburgensis, 2023-12-14)

• Nonhuman Moral Agency: A Practice-Focused Exploration of Moral Agency in Nonhuman Animals and Artificial Intelligence 

  Behdadi, Dorna (2023-12-05)

  Can nonhuman animals and artificial intelligence (AI) entities be attributed moral agency? The general assumption in the philosophical literature is that moral agency applies exclusively to humans since they alone possess ...

• Proceedings of the 2023 CLASP Conference on Learning with Small Data 

  Breitholtz, Ellen; Lappin, Shalom; Loáiciga, Sharid; Ilinykh, Nikolai; Dobnik, Simon; Centre for Linguistic Theory and Studies in Probability (CLASP); Department of Philosophy, Linguistics and Theory of Science (FLoV); University of Gothenburg (The Association for Computational Linguistics, 2023-09-10)

  The purpose of our conference is to bring together researchers from several areas of NLP, addressing datasets, methods and limits of effective (machine) learning with small data containing natural language and associated ...

• Studies in Language Structure using Deep Learning 

  Ek, Adam (2023-08-15)

  This thesis deals with the discovery, prediction, and utilization of structural patterns in language using deep learning techniques. The thesis is divided into two sections. The first section gives an introduction to the ...

• Computational Content of Fixed Points 

  Barlucchi, Giacomo (2022-12)

  We study the computational content of fixed points in relation to two logical systems with distinct characteristics. Common to both research strands is a method for dealing with the iterative nature of fixed points. In the ...

View more