Blar i Bergen Open Research Archive på forfatter "Spörl, Yannick"
-
Consistency of LSO with syntactic equality
Spörl, Yannick (Master thesis, 2023-06-01)LSO, Logic of Sentential Operators, is defined by extending first- order logic by sentential quantification and sentential operators. Its semantics is defined by a digraph, with kernels reflecting consistent valuations of ...