@misc{indiciae44870aa2d911, title = {Disjunctive bases: normal forms and model theory for modal logics}, author = {Sebastian Enqvist and Yde Venema}, year = {2022}, doi = {10.23638/lmcs-15(1:30)2019}, url = {https://arxiv.org/abs/1710.10706}, note = {Source identifier: 1710.10706} }