Pages that link to "Item:Q5391601"

The following pages link to An explicit basis for the admissible inference rules of the modal logics extending S4.1 and Grz (Q5391601):

Displaying 9 items.

• Table admissible inference rules (Q431693) (← links)
• Admissible inference rules and semantic property of modal logics (Q823963) (← links)
• The decidability of admissibility problems for modal logics S4.2 and S4.2Grz and superintuitionistic logic KC (Q1317616) (← links)
• Bases of admissible rules in modal logics S4.2 and S4.2Grz (Q1320690) (← links)
• Construction of an explicit basis for rules admissible in modal system S4 (Q2765566) (← links)
• Independent Bases of Admissible Rules (Q3508162) (← links)
• (Q3544729) (← links)
• Admissible Rules of Modal Logics (Q5696300) (← links)
• Inference rules with metavariables and logical equations in the pretabular modal logic PM1 (Q5932613) (← links)