6 papers
Pointed Modal Abelian Logic, Algebraically
Filip Jankovec, Wolfgang Poiger
In this article, we investigate the pointed modal logic of reals. We first establish its relational (Kripke) semantics with bounded valuations in the Abelian l-group of real number…
Knowledge on a Budget
Ondrej Majer, Krishna Manoorkar, Wolfgang Poiger +1
In various computational systems, accessing information incurs time, memory or energy costs. However, standard epistemic logics usually model the acquisition of evidence as a cost-…
Natural dualities for varieties generated by finite positive MV-chains
Wolfgang Poiger
We provide a simple natural duality for the varieties generated by the negation- and implication- free reduct of a finite MV-chain. We study these varieties through the dual equiva…
Many-valued coalgebraic logic over semi-primal varieties
Alexander Kurz, Wolfgang Poiger, Bruno Teheux
We study many-valued coalgebraic logics with semi-primal algebras of truth-degrees. We provide a systematic way to lift endofunctors defined on the variety of Boolean algebras to e…
New perspectives on semi-primal varieties
Alexander Kurz, Wolfgang Poiger, Bruno Teheux
We study varieties generated by semi-primal lattice-expansions by means of category theory. We provide a new proof of the Keimel-Werner topological duality for such varieties and,…
The Minor Order of Homomorphisms via Natural Dualities
Wolfgang Poiger, Bruno Teheux
We study the minor relation for algebra homomorphims in finitely generated quasivarieties that admit a logarithmic natural duality. We characterize the minor homomorphism posets of…