|
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.
Received: 06.10.2022 Revised: 23.09.2023 Accepted: 25.09.2023
Citation:
V. V. Rimatskii, “Admissible inference rules of modal WCP-logics”, Sibirsk. Mat. Zh., 65:1 (2024), 180–197
Linking options:
https://www.mathnet.ru/eng/smj7848 https://www.mathnet.ru/eng/smj/v65/i1/p180
|
|