Pages that link to "Item:Q1327480"
From MaRDI portal
The following pages link to Criteria for admissibility of inference rules. Modal and intermediate logics with the branching property (Q1327480):
Displaying 4 items.
- 1995–1996 Winter Meeting of the Association for Symbolic Logic (Q4254568) (← links)
- On Finite Model Property for Admissible Rules (Q4704656) (← links)
- Canonical formulas for K4. Part II: Cofinal subframe logics (Q4894720) (← links)
- DECIDABILITY OF ADMISSIBILITY: ON A PROBLEM BY FRIEDMAN AND ITS SOLUTION BY RYBAKOV (Q5009678) (← links)
