TY  - RPRT
TI  - Tableau systems for some Ivlev-like (quantified) modal logics
AU  - Marcelo E. Coniglio
AU  - Luis Fariñas del Cerro
AU  - Newton M. Peron
PY  - 2022
UR  - https://arxiv.org/abs/2202.02136
ID  - 2202.02136
ER  -