Tableau systems for some Ivlev-like (quantified) modal logics
From MaRDI portal
Publication:6390135
arXiv2202.02136MaRDI QIDQ6390135
Luis Fariñas del Cerro, Marcelo E. Coniglio, Marques Peron Newton
Publication date: 4 February 2022
03B45: Modal logic (including the logic of norms)