3 papers
cs.LO2026
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…
cs.LO2026
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-…
cs.LO2024
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…