Pages that link to "Item:Q4712747"
From MaRDI portal
The following pages link to ADMISSIBILITY OF RULES OF INFERENCE, AND LOGICAL EQUATIONS, IN MODAL LOGICS AXIOMATIZING PROVABILITY (Q4712747):
Displaying 5 items.
- Logical equations and admissible rules of inference with parameters in modal provability logics (Q805609) (← links)
- Admissible inference rules and semantic property of modal logics (Q823963) (← links)
- An admissibility criterion for inference rules with metavariables in the modal logic S4\(.\alpha_N\) (Q3544726) (← links)
- (Q3544729) (← links)
- DECIDABILITY OF ADMISSIBILITY: ON A PROBLEM BY FRIEDMAN AND ITS SOLUTION BY RYBAKOV (Q5009678) (← links)