On the Modal Logic of Subset and Superset: Tense Logic over Medvedev Frames
Research article (Studia Logica, 2016) · cited 10× · AI/ML