The following pages link to (Q3518429):
Displaying 10 items.
- On unification and admissible rules in Gabbay-de Jongh logics (Q386639) (← links)
- About the unification type of modal logics between \(\mathbf{KB}\) and \(\mathbf{KTB} \) (Q831218) (← links)
- About the unification type of \(\mathbf{K}+\square \square \bot\) (Q2134937) (← links)
- Finitary unification in locally tabular modal logics characterized (Q2667999) (← links)
- Contact Logic is Finitary for Unification with Constants (Q3298276) (← links)
- Unification in epistemic logics (Q4586223) (← links)
- <i>KD</i> is nullary (Q4586229) (← links)
- From Formal Theory of Knowledge to Non-Fregean Logic (Q4611706) (← links)
- (Q4963142) (← links)
- UNIFICATION IN SUPERINTUITIONISTIC PREDICATE LOGICS AND ITS APPLICATIONS (Q5381031) (← links)
