The following pages link to (Q4474858):
Displaying 4 items.
- Deciding regular grammar logics with converse through first-order logic (Q2567343) (← links)
- A Note on Strictly Positive Logics and Word Rewriting Systems (Q5214732) (← links)
- KRIPKE COMPLETENESS OF STRICTLY POSITIVE MODAL LOGICS OVER MEET-SEMILATTICES WITH OPERATORS (Q5222523) (← links)
- Tabularity and post-completeness in tense logic (Q6552266) (← links)