Pages that link to "Item:Q2709317"
From MaRDI portal
The following pages link to Bases of admissible inference rules in tabular modal logics of depth 2 (Q2709317):
Displaying 6 items.
- Bases of admissible rules for \(K\)-saturated logics (Q431663) (← links)
- Table admissible inference rules (Q431693) (← links)
- Unification in pretabular extensions of S4 (Q2239389) (← links)
- Tabular Logics with no Finite Bases for Inference Rules (Q4659578) (← links)
- (Q4936643) (← links)
- Explicit basis for admissible rules in \(K\)-saturated tabular logics (Q6043885) (← links)