RUS  ENG
Full version
JOURNALS // Sibirskie Èlektronnye Matematicheskie Izvestiya [Siberian Electronic Mathematical Reports] // Archive

Sib. Èlektron. Mat. Izv., 2022 Volume 19, Issue 1, Pages 316–325 (Mi semr1502)

This article is cited in 1 paper

Mathematical logic, algebra and number theory

Description of modal logics which enjoy co-cover property

V. V. Rimatskiy

Siberian Federal University, 79, Svobodny ave., Krasnoyarsk, 660041, Russia

Abstract: Here we use admissible rules to determine whenever modal logic satisfies weak co-cover property. We prove that logic $\lambda$ over $S4$ satisfies such property iff the given set of rules are admissible in $\lambda$.

Keywords: modal logic, inference rule, Kripke frame and model, admissible rule.

UDC: 51.643, 517.11

MSC: 03F25, 03B35

Received June 6, 2021, published June 21, 2022

Language: English

DOI: 10.33048/semi.2022.19.026



Bibliographic databases:


© Steklov Math. Inst. of RAS, 2025