The following pages link to Unifiability in extensions of K4 (Q3625492):
Displaying 10 items.
- Unification problem in Nelson's logic \(\mathbf{N4}\) (Q892014) (← links)
- More on \(d\)-logics of subspaces of the rational numbers (Q1762355) (← links)
- Rules with parameters in modal logic. II. (Q2004954) (← links)
- 2010 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '10 (Q3011106) (← links)
- Contact Logic is Finitary for Unification with Constants (Q3298276) (← links)
- Admissibility and Unifiability in Contact Logics (Q3455182) (← links)
- Unification in epistemic logics (Q4586223) (← links)
- <i>KD</i> is nullary (Q4586229) (← links)
- Notes on my scientific life (Q6612807) (← links)
- About the unification types of modal logics (Q6612813) (← links)