Pages that link to "Item:Q5214732"
From MaRDI portal
The following pages link to A Note on Strictly Positive Logics and Word Rewriting Systems (Q5214732):
Displaying 8 items.
- Axiomatization and polynomial solvability of strictly positive fragments of certain modal logics (Q1668101) (← links)
- Modal companions of \(K4^+\) (Q2082262) (← links)
- Reflection algebras and conservation results for theories of iterated truth (Q2120976) (← links)
- KRIPKE COMPLETENESS OF STRICTLY POSITIVE MODAL LOGICS OVER MEET-SEMILATTICES WITH OPERATORS (Q5222523) (← links)
- VARIETIES OF POSITIVE MODAL ALGEBRAS AND STRUCTURAL COMPLETENESS (Q5241233) (← links)
- Reflection calculus and conservativity spectra (Q5377088) (← links)
- Positive First-order Logic on Words and Graphs (Q6135776) (← links)
- AN ESCAPE FROM VARDANYAN’S THEOREM (Q6140187) (← links)