Admissible inference rules of modal WCP-logics

V. V. Rimatskii

Institute of Mathematics and Computer Science, Siberian Federal University, Krasnoyarsk

Abstract: We study admissible rules for the extensions of the modal logics S4 and GL with the weak co-covering property and describe some explicit independent basis for the admissible rules of these logics. The resulting basis consists of an infinite sequence of rules in compact and simple form.

Keywords: modal logic, Kripke frame, Kripke model, admissible inference rule, basis of admissible rules.

UDC: 510.643+517.11

MSC: 35R30

Received: 06.10.2022
Revised: 23.09.2023
Accepted: 25.09.2023

DOI: 10.33048/smzh.2024.65.114

 English version: Siberian Mathematical Journal, 2024, 65:1, 153–166