Pages that link to "Item:Q890977"
From MaRDI portal
The following pages link to Independent bases for admissible rules of pretabular modal logic and its extensions (Q890977):
Displaying 8 items.
- Unification in pretabular extensions of S4 (Q2239389) (← links)
- Globally admissible inference rules (Q2685547) (← links)
- Independent Bases of Admissible Rules (Q3508162) (← links)
- Independent bases for rules admissible in pretabular logics (Q4237681) (← links)
- Inference rules with metavariables and logical equations in the pretabular modal logic PM1 (Q5932613) (← links)
- Explicit basis for admissible rules in \(K\)-saturated tabular logics (Q6043885) (← links)
- An explicit basis for \textit{WCP}-globally admissible inference rules (Q6199357) (← links)
- Basis of globally admissible rules for logic S4 (Q6663881) (← links)