1 citations · 1 across the 5 of their papers we have counts for
5 papers
Modal group theory: homomorphisms
Wojciech Aleksander WoÅoszyn
I investigate modal group theory for arbitrary homomorphisms. Possibility is interpreted by the existence of a group homomorphism out of the given group, so the semantics is govern…
Modal group theory
Wojciech Aleksander WoÅoszyn
I introduce modal group theory, in which we study the category of all groups, considering embeddability as providing a notion of modal possibility. Using HNN extensions and Britton…
The modal theory of linear orders
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 th…
The modal theory of the category of sets
Wojciech Aleksander WoÅoszyn
We classify the propositional modal validities arising from the category of sets under its natural classes of morphisms. The resulting validities depend on the morphism class, the…
Grzegorczyk Logic Unlocked
Wojciech Aleksander WoÅoszyn
The article offers a fresh perspective on Grzegorczyk logic Grz, introducing a simplified axiomatization and extending the analysis to its natural modal extensions, Grz.2 and Grz.3…