The following pages link to (Q4936643):
Displaying 8 items.
- An explicit basis for admissible inference rules in table modal logics of width 2 (Q431673) (← links)
- Bases of admissible rules in modal logics S4.2 and S4.2Grz (Q1320690) (← links)
- Bases of admissible inference rules in tabular modal logics of depth 2 (Q2709317) (← links)
- (Q4376052) (← links)
- (Q4966006) (← links)
- Explicit basis for admissible rules in \(K\)-saturated tabular logics (Q6043885) (← links)
- Admissible inference rules of modal WCP-logics (Q6193927) (← links)
- An explicit basis for \textit{WCP}-globally admissible inference rules (Q6199357) (← links)
