2605.14182

Total: 1

#1 The modal theory of linear orders [PDF] [Copy] [Kimi] [REL]

Author: Wojciech Aleksander Wołoszyn

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.

Subject: Logic

Publish: 2026-05-13 23:04:51 UTC