English

On connexivity in modal and conditional contexts

Logic 2025-12-12 v1

Abstract

We define and axiomatize three new logics based on the connexive logic C\mathsf{C}, the modal logic CnK\mathsf{CnK} and the conditional logics CnCK\mathsf{CnCK} and CnCKR\mathsf{CnCK}_R. These logics display strong connexivity properties and are connected to one another, since CnCKR\mathsf{CnCK}_R is the reflexive extension of CnCK\mathsf{CnCK} and CnK\mathsf{CnK} is faithfully embeddable into both CnCK\mathsf{CnCK} and CnCKR\mathsf{CnCK}_R in a multitude of natural ways. We argue that all the three logics provide (albeit in different ways) natural expansions of C\mathsf{C} to their respective languages that preserve and further develop several core properties of C\mathsf{C}, especially its connexivity profile.

Keywords

Cite

@article{arxiv.2512.10816,
  title  = {On connexivity in modal and conditional contexts},
  author = {Grigory K. Olkhovikov},
  journal= {arXiv preprint arXiv:2512.10816},
  year   = {2025}
}

Comments

47 pages, 0 figures

R2 v1 2026-07-01T08:20:52.476Z