The modal logic of minimal upper bounds (MIN) has exactly the same valid formulas as the modal information logic of least upper bounds (MIL).
In: Weiss, Y., Birman, R
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
math.LO 1years
2024 1verdicts
CONDITIONAL 1representative citing papers
citing papers explorer
-
Tho Modal Logic of Minimal Upper Bounds
The modal logic of minimal upper bounds (MIN) has exactly the same valid formulas as the modal information logic of least upper bounds (MIL).