TY  - RPRT
TI  - A General Axiomatization for the logics of the Hierarchy ${\mathbb{I}}^n {\mathbb{P}}^k$
AU  - Víctor Fernández
PY  - 2018
UR  - https://arxiv.org/abs/1812.00983
ID  - 1812.00983
ER  -