Pages that link to "Item:Q1320690"

The following pages link to Bases of admissible rules in modal logics S4.2 and S4.2Grz (Q1320690):

Displaying 14 items.

• Admissible bases via stable canonical rules (Q284230) (← links)
• Bases of admissible rules of proper axiomatic extensions of Łukasiewicz logic (Q723257) (← links)
• Independent bases for admissible rules of pretabular modal logic and its extensions (Q890977) (← links)
• Bases of admissible rules of the logics S4 and Int (Q1079559) (← links)
• The decidability of admissibility problems for modal logics S4.2 and S4.2Grz and superintuitionistic logic KC (Q1317616) (← links)
• Some admissible rules in nonnormal modal systems (Q1317984) (← links)
• The admissible rules of \(\mathsf{BD}_2\) and \(\mathsf{GSc}\) (Q1782237) (← links)
• Construction of an explicit basis for rules admissible in modal system S4 (Q2765566) (← links)
• Bases of Admissible Rules of Lukasiewicz Logic (Q3069724) (← links)
• Independent bases for rules admissible in pretabular logics (Q4237681) (← links)
• (Q4376052) (← links)
• (Q4936643) (← links)
• An explicit basis for the admissible inference rules of the modal logics extending S4.1 and Grz (Q5391601) (← links)
• Admissible Rules of Modal Logics (Q5696300) (← links)