A two-valued semantics for infectious logics
Yang Song, Hitoshi Omori, Satoshi Tojo · 2021
In this article, we introduce a new two-valued semantics for infectious logics. The main motivation for this semantics stems from the question if conjunctions and disjunctions of infectious logics can be rightfully called conjunction and disjunction. Building on our new semantics, we will happily conclude that this is the case. We will also show that our semantics can capture various expansions of infectious logics.