Pages that link to "Item:Q1068809"
From MaRDI portal
The following pages link to Admissible rules for logics containing S4.3 (Q1068809):
Displaying 13 items.
- Almost structural completeness; an algebraic approach (Q278762) (← links)
- Logical equations and admissible rules of inference with parameters in modal provability logics (Q805609) (← links)
- Problems of substitution and admissibility in the modal system Grz and in intuitionistic propositional calculus (Q920971) (← links)
- Decidability of the admissibility problem in layer-finite logics (Q1064315) (← links)
- Equations in free topoboolean algebra (Q1092029) (← links)
- Semantic admissibility criteria for deduction rules in S4 and Int (Q1189069) (← links)
- Admissibility of logical inference rules (Q1309039) (← links)
- Criteria for admissibility of inference rules. Modal and intermediate logics with the branching property (Q1327480) (← links)
- Deciding active structural completeness (Q2288335) (← links)
- A Tableau Method for Checking Rule Admissibility in S4 (Q3185759) (← links)
- An admissibility criterion for inference rules with metavariables in the modal logic S4\(.\alpha_N\) (Q3544726) (← links)
- Almost structurally complete infinitary consequence operations extending S4.3 (Q4644526) (← links)
- DECIDABILITY OF ADMISSIBILITY: ON A PROBLEM BY FRIEDMAN AND ITS SOLUTION BY RYBAKOV (Q5009678) (← links)
