Modal companions of \(K4^+\)
type: Item
instance of: scholarly article
title: Modal companions of \(K4^+\)
published in: Studia Logica
publication date: 2022-10-04T00:00:00Z
Mathematics Subject Classification ID: 03-XX
zbMATH DE Number: 7595961
zbMATH Keywords: strictly positive modal logic
zbMATH Keywords: well-quasi order
author: Mikhail V. Svyatlovskii
MaRDI profile type: Publication
full work available at URL: s11225-022-10001-w
OpenAlex ID: W4281994590
cites work: Positive provability logic for uniform reflection principles
cites work: A Note on Strictly Positive Logics and Word Rewriting Systems
cites work: On the reflection calculus with partial conservativity operators
cites work: A universal algebra for the variable-free fragment of \({\mathrm{RC}^\nabla}\)
cites work: Q4397069
cites work: Q3128959
cites work: On the positive fragment of the polymodal provability logic GLP
cites work: Semilattices with closure
cites work: KRIPKE COMPLETENESS OF STRICTLY POSITIVE MODAL LOGICS OVER MEET-SEMILATTICES WITH OPERATORS
cites work: Q5224579
cites work: The theory of well-quasi-ordering: a frequently discovered concept
cites work: On the complexity of the closed fragment of Japaridze's provability logic
cites work: Q3085172
cites work: Q3085175
cites work: Axiomatization and polynomial solvability of strictly positive fragments of certain modal logics
DOI: 10.1007/S11225-022-10001-W
description: scientific article; zbMATH DE number 7595961