Pages that link to "Item:Q890977"

The following pages link to Independent bases for admissible rules of pretabular modal logic and its extensions (Q890977):

Displaying 2 items.

• Explicit basis for admissible rules in \(K\)-saturated tabular logics (Q6043885) (← links)
• An explicit basis for \textit{WCP}-globally admissible inference rules (Q6199357) (← links)