Pages that link to "Item:Q4779583"
From MaRDI portal
The following pages link to Description of Modal Logics Inheriting Admissible Rules for K4 (Q4779583):
Displaying 4 items.
- Contact Logic is Finitary for Unification with Constants (Q3298276) (← links)
- Admissibility and Unifiability in Contact Logics (Q3455182) (← links)
- Description of modal logics inheriting admissible rules for S4 (Q4934059) (← links)
- DECIDABILITY OF ADMISSIBILITY: ON A PROBLEM BY FRIEDMAN AND ITS SOLUTION BY RYBAKOV (Q5009678) (← links)