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 13 items.
- Admissibility and refutation: some characterisations of intermediate logics (Q481867) (← links)
- Finite frames fail: how infinity works its way into the semantics of admissibility (Q514509) (← links)
- Admissible inference rules and semantic property of modal logics (Q823963) (← links)
- Complexity of admissible rules (Q868660) (← links)
- Inference rules in Nelson's logics, admissibility and weak admissibility (Q2342802) (← links)
- Decidability of the Admissibility Problem for Inference Rules in Some S5t-Logics (Q3409447) (← links)
- Multi-modal and Temporal Logics with Universal Formula--Reduction of Admissibility to Validity and Unification (Q3520233) (← links)
- 1995–1996 Winter Meeting of the Association for Symbolic Logic (Q4254568) (← links)
- Intermediate logics preserving admissible inference rules of heyting calculus (Q4304123) (← links)
- On Finite Model Property for Admissible Rules (Q4704656) (← links)
- ADMISSIBILITY OF RULES OF INFERENCE, AND LOGICAL EQUATIONS, IN MODAL LOGICS AXIOMATIZING PROVABILITY (Q4712747) (← 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)
