On some classes of formulas in S5 which are pre-complete relative to existential expressibility

DOI10.56415/csjm.v31.21MaRDI QIDQ6546349

Elena Rusu, Andrei Gheorghe Rusu

Publication date: 29 May 2024

Published in: Computer Science Journal of Moldova (Search for Journal in Brave)

zbMATH Keywords

paraconsistent logiclogical calculiexistential expressibility

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Paraconsistent logics (03B53)

This page was built for publication: On some classes of formulas in S5 which are pre-complete relative to existential expressibility