Axiomatization and polynomial solvability of strictly positive fragments of certain modal logics
type: Item
instance of: scholarly article
title: Axiomatization and polynomial solvability of strictly positive fragments of certain modal logics
zbMATH Open document ID: 1491.03016
DOI: 10.1134/S0001434618050322
author: Mikhail V. Svyatlovskii
published in: Mathematical Notes
publication date: 2018-08-31T00:00:00Z
Mathematics Subject Classification ID: 03B45
Mathematics Subject Classification ID: 68Q25
zbMATH DE Number: 6930076
zbMATH Keywords: strictly positive modal logic
zbMATH Keywords: epistemic logic
MaRDI profile type: Publication
cites work: Semilattices with closure
cites work: Mathematical Logic for Life Science Ontologies
cites work: Provability algebras and proof-theoretic ordinals. I
cites work: Q5494229
cites work: Q5419872
cites work: On the reflection calculus with partial conservativity operators
cites work: On the positive fragment of the polymodal provability logic GLP
cites work: Q4397069
cites work: Q3085172
cites work: On the complexity of the closed fragment of Japaridze's provability logic
cites work: Positive provability logic for uniform reflection principles
cites work: A universal algebra for the variable-free fragment of \({\mathrm{RC}^\nabla}\)
cites work: A Note on Strictly Positive Logics and Word Rewriting Systems
cites work: Q4845472
cites work: Q4578043
cites work: Q3128959
full work available at URL: s0001434618050322
OpenAlex ID: W2811093937
Wikidata QID: Q129647256
description: scientific article; zbMATH DE number 6930076