Pages that link to "Item:Q5222523"
From MaRDI portal
The following pages link to KRIPKE COMPLETENESS OF STRICTLY POSITIVE MODAL LOGICS OVER MEET-SEMILATTICES WITH OPERATORS (Q5222523):
Displaying 5 items.
- Lambek calculus with conjugates (Q2046872) (← links)
- A proof-theoretic approach to negative translations in intuitionistic tense logics (Q2082257) (← links)
- Modal companions of \(K4^+\) (Q2082262) (← links)
- Monotonic modal logics with a conjunction (Q2238141) (← links)
- AN ESCAPE FROM VARDANYAN’S THEOREM (Q6140187) (← links)
