Now showing items 1-1 of 1

    • Monadic Semantics, Team Logics and Substitution 

      Lorimer Olsson, Orvar (2022-06-14)
      In this thesis we investigate the issue of non-substitutionality of propositional team logics, in particular propositional dependence logic, by semantic means. We establish a general language to discuss semantic systems ...