A Note on Strictly Positive Logics and Word Rewriting Systems

DOI10.1007/978-3-319-69917-2_4zbMath1429.03077arXiv1509.00666OpenAlexW2206760849MaRDI QIDQ5214732

Lev D. Beklemishev

Publication date: 5 February 2020

Published in: Larisa Maksimova on Implication, Interpolation, and Definability (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1509.00666

zbMATH Keywords

deep inferencesemi-Thue systemsstrictly positive logics

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Grammars and rewriting systems (68Q42)

Related Items

Reflection algebras and conservation results for theories of iterated truth ⋮ Axiomatization and polynomial solvability of strictly positive fragments of certain modal logics ⋮ AN ESCAPE FROM VARDANYAN’S THEOREM ⋮ Reflection calculus and conservativity spectra ⋮ KRIPKE COMPLETENESS OF STRICTLY POSITIVE MODAL LOGICS OVER MEET-SEMILATTICES WITH OPERATORS ⋮ VARIETIES OF POSITIVE MODAL ALGEBRAS AND STRUCTURAL COMPLETENESS ⋮ Modal companions of \(K4^+\)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Positive provability logic for uniform reflection principles
• Modal companions of intermediate propositional logics
• A lattice of normal modal logics
• On the positive fragment of the polymodal provability logic GLP