The modal theory of linear orders
Logic
2026-05-15 v1
Abstract
I study the modal theory of linear orders under embeddings, monotone maps, condensations, and end-extensions. I prove modality elimination for embeddings and monotone maps, show that condensations make scatteredness modally definable, and compute exact propositional modal validities in the main cases.
Cite
@article{arxiv.2605.14182,
title = {The modal theory of linear orders},
author = {Wojciech Aleksander Wołoszyn},
journal= {arXiv preprint arXiv:2605.14182},
year = {2026}
}