Modal companions of \(K4^+\)
From MaRDI portal
Publication:2082262
DOI10.1007/s11225-022-10001-wOpenAlexW4281994590MaRDI QIDQ2082262
Publication date: 4 October 2022
Published in: Studia Logica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s11225-022-10001-w
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Positive provability logic for uniform reflection principles
- On the complexity of the closed fragment of Japaridze's provability logic
- Axiomatization and polynomial solvability of strictly positive fragments of certain modal logics
- On the reflection calculus with partial conservativity operators
- A universal algebra for the variable-free fragment of \({\mathrm{RC}^\nabla}\)
- On the positive fragment of the polymodal provability logic GLP
- The theory of well-quasi-ordering: a frequently discovered concept
- Semilattices with closure
- A Note on Strictly Positive Logics and Word Rewriting Systems
- KRIPKE COMPLETENESS OF STRICTLY POSITIVE MODAL LOGICS OVER MEET-SEMILATTICES WITH OPERATORS
This page was built for publication: Modal companions of \(K4^+\)
