Bernhard Heinemann. A Modal Logic for Discretely Descending Chains of Sets. Studia Logica, 76(1):67-90, 2004. [doi]
@article{Heinemann04-0, title = {A Modal Logic for Discretely Descending Chains of Sets}, author = {Bernhard Heinemann}, year = {2004}, doi = {10.1023/B:STUD.0000027467.49608.9d}, url = {http://dx.doi.org/10.1023/B:STUD.0000027467.49608.9d}, tags = {modal logic, logic}, researchr = {https://researchr.org/publication/Heinemann04-0}, cites = {0}, citedby = {0}, journal = {Studia Logica}, volume = {76}, number = {1}, pages = {67-90}, }