Description of modal logics which enjoy co-cover property
From MaRDI portal
Publication:2676814
DOI10.33048/semi.2022.19.026MaRDI QIDQ2676814
Vytalii Valentinovich Rimatskiy
Publication date: 28 September 2022
Published in: Sibirskie Èlektronnye Matematicheskie Izvestiya (Search for Journal in Brave)
03B35: Mechanization of proofs and logical operations
03F25: Relative consistency and interpretations