We define a natural notion of standard translation for the formulas of conditional logic which is analogous to the standard translation of modal formulas into the first-order logic. We briefly show that this translation works (modulo a lightweight first-order encoding of the conditional models) for the minimal classical conditional logic $\mathsf {CK}$ introduced by Brian Chellas in [3]; however, the main result of the article is that a classically equivalent reformulation of these notions (i.e., of standard translation plus theory of conditional models) also faithfully embeds the basic Nelsonian conditional logic $\mathsf {N4CK}$, introduced in [11] into $\mathsf {QN4}$, the paraconsistent variant of Nelson’s first-order logic of strong negation. Thus $\mathsf {N4CK}$ is the logic induced by the Nelsonian reading of the classical Chellas semantics of conditionals and can, therefore, be considered a faithful analogue of $\mathsf {CK}$ on the non-classical basis provided by the propositional fragment of $\mathsf {QN4}$. Moreover, the methods used to prove our main result can be easily adapted to the case of modal logic, which makes it possible to improve an older result [10, Proposition 7] by S. Odintsov and H. Wansing about the standard translation embedding of the Nelsonian modal logic $\mathsf {FSK}^d$ into $\mathsf {QN4}$.

Strong negation is a well-known alternative to the standard negation in intuitionistic logic. It is defined virtually by giving falsity conditions to each of the connectives. Among these, the falsity condition for implication appears to unnecessarily deviate from the standard negation. In this paper, we introduce a slight modification to strong negation, and observe its comparative advantages over the original notion. In addition, we consider the paraconsistent variants of our modification, and study their relationship with non-constructive principles and connexivity.

We shall be concerned with the modal logic BK—which is based on the Belnap–Dunn four-valued matrix, and can be viewed as being obtained from the least normal modal logic K by adding ‘strong negation’. Though all four values ‘truth’, ‘falsity’, ‘neither’ and ‘both’ are employed in its Kripke semantics, only the first two are expressible as terms. We show that expanding the original language of BK to include constants for ‘neither’ or/and ‘both’ leads to quite unexpected results. To be more precise, adding one of these constants has the effect of eliminating the respective value at the level of BK-extensions. In particular, if one adds both of these, then the corresponding lattice of extensions turns out to be isomorphic to that of ordinary normal modal logics.

We have studied the update operator ⊕1 defined for update sequences by Eiter et al. without tautologies and we have observed that it satisfies an interesting property. This property, which we call Weak Independence of Syntax (WIS), is similar to one of the postulates proposed by Alchourrón, Gärdenfors, and Makinson (AGM); only that in this case it applies to nonmonotonic logic. In addition, we consider other five additional basic properties about update programs and we show that ⊕1 satisfies them. This work continues the analysis of the AGM postulates with respect to the ⊕1 operator under a refined view that considers N2 as a monotonic logic which allows us to expand our understanding of answer sets. Moreover, N2 helped us to derive an alternative definition of ⊕1 avoiding the use of unnecessary extra atoms.