Tableau systems for some Ivlev-like (quantified) modal logics

DOI10.1007/978-3-031-56595-3_5MaRDI QIDQ6623948

Marques Peron Newton, Luis Fariñas del Cerro, Marcelo E. Coniglio

Publication date: 24 October 2024

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Many-valued logic (03B50)

This page was built for publication: Tableau systems for some Ivlev-like (quantified) modal logics