Blar i Registrations from Cristin på emneord "Modallogikk"
Viser treff 1-2 av 2
-
Boolean negation and non-conservativity I: Relevant modal logics
(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
(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 ...