Blar i University of Bergen Library på emneord "Modal logic"

Viser treff 1-2 av 2

    • Boolean negation and non-conservativity I: Relevant modal logics 

      Øgaard, Tore Fjetland (Journal article; Peer reviewed, 2021)
      Many relevant logics are conservatively extended by Boolean negation. Not all, however. This paper shows an acute form of non-conservativeness, namely that the Boolean-free fragment of the Boolean extension of a relevant ...

    • Coalition and Relativised Group Announcement Logic 

      Galimullin, Rustam (Journal article; Peer reviewed, 2021)
      There are several ways to quantify over public announcements. The most notable are reflected in arbitrary, group, and coalition announcement logics (APAL, GAL, and CAL correspondingly), with the latter being the least ...