2 citations · 3 across the 14 of their papers we have counts for
Showing 2020 · math.LOShow all
2 papers · 2 filters
math.LO2020
A conflict between some semantic conditions of Carmo and Jones for contrary-to-duty obligations
Bjørn Kjos-Hanssen
We show that Carmo and Jones' condition 5(e) conflicts with the other conditions on their models for contrary-to-duty obligations. We then propose a resolution to the conflict.
math.LO2020★ 1 cited
From eventually different functions to pandemic numberings
Achilles A. Beros, Mushfeq Khan, Bjørn Kjos-Hanssen +1
A function is strongly non-recursive (SNR) if it is eventually different from each recursive function. We obtain hierarchy results for the mass problems associated with computing s…