Description of modal logics which enjoy co-cover property

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)

zbMATH Keywords

modal logicinference ruleadmissible ruleuctionKripke frame and model

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Relative consistency and interpretations (03F25)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• A criterion for admissibility of rules in the modal system S4 and intuitionistic logic
• The deducibilities of S5
• Admissibility of logical inference rules
• One hundred and two problems in mathematical logic

This page was built for publication: Description of modal logics which enjoy co-cover property