TY  - RPRT
TI  - Disjunctive bases: normal forms and model theory for modal logics
AU  - Sebastian Enqvist
AU  - Yde Venema
PY  - 2022
DO  - 10.23638/lmcs-15(1:30)2019
UR  - https://arxiv.org/abs/1710.10706
ID  - 1710.10706
ER  -