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-…
math.RA2023
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…