The following pages link to Unification in epistemic logics (Q4586223):
Displaying 5 items.
- About the unification type of modal logics between \(\mathbf{KB}\) and \(\mathbf{KTB} \) (Q831218) (← links)
- On the logic of unification (Q1823935) (← links)
- About the unification type of \(\mathbf{K}+\square \square \bot\) (Q2134937) (← links)
- Combining Epistemic Logic and Hennessy-Milner Logic (Q2897954) (← links)
- <i>KD</i> is nullary (Q4586229) (← links)