Pages that link to "Item:Q2374393"
From MaRDI portal
The following pages link to Modal consequence relations extending S4.3: an application of projective unification (Q2374393):
Displaying 7 items.
- Almost structural completeness; an algebraic approach (Q278762) (← links)
- Finitary unification in locally tabular modal logics characterized (Q2667999) (← links)
- Projective unification in modal logic (Q2903753) (← links)
- Ideal Related Algebras and Their Logics Extended Abstract (Q5098744) (← links)
- UNIFICATION IN SUPERINTUITIONISTIC PREDICATE LOGICS AND ITS APPLICATIONS (Q5381031) (← links)
- Projective unification in weakly transitive and weakly symmetric modal logics (Q5866481) (← links)
- Unification types and union splittings in intermediate logics (Q6614043) (← links)