TY  - RPRT
TI  - Modal Logic and the Approximation Induction Principle
AU  - Maciej Gazda
AU  - Wan Fokkink
PY  - 2009
DO  - 10.4204/eptcs.8.4
UR  - https://arxiv.org/abs/0911.2035
ID  - 0911.2035
ER  -