Pages that link to "Item:Q823963"
From MaRDI portal
The following pages link to Admissible inference rules and semantic property of modal logics (Q823963):
Displaying 8 items.
- Some admissible rules in nonnormal modal systems (Q1317984) (← links)
- Globally admissible inference rules (Q2685547) (← links)
- (Q3544729) (← links)
- (Q3647278) (← links)
- ADMISSIBILITY OF RULES OF INFERENCE, AND LOGICAL EQUATIONS, IN MODAL LOGICS AXIOMATIZING PROVABILITY (Q4712747) (← links)
- Description of Modal Logics Inheriting Admissible Rules for K4 (Q4779583) (← links)
- Description of modal logics inheriting admissible rules for S4 (Q4934059) (← links)
- Logic of Visibility, Perception, and Knowledge and Admissible Inference Rules (Q5693113) (← links)