The following pages link to (Q3509046):
Displaying 5 items.
- Inverse images of box formulas in modal logic (Q383565) (← links)
- Sahlqvist correspondence for modal mu-calculus (Q454371) (← links)
- A dichotomy for some elementarily generated modal logics (Q497429) (← links)
- Axiomatizing hybrid logic using modal logic (Q631084) (← links)
- About the unification type of modal logics between \(\mathbf{KB}\) and \(\mathbf{KTB} \) (Q831218) (← links)
