The following pages link to (Q3950540):
Displayed 8 items.
- Logical equations and admissible rules of inference with parameters in modal provability logics (Q805609) (← links)
- Problems of substitution and admissibility in the modal system Grz and in intuitionistic propositional calculus (Q920971) (← links)
- Decidability of the admissibility problem in layer-finite logics (Q1064315) (← links)
- Admissible rules for logics containing S4.3 (Q1068809) (← links)
- A criterion for admissibility of rules in the modal system S4 and intuitionistic logic (Q1079558) (← links)
- Bases of admissible rules of the logics S4 and Int (Q1079559) (← links)
- Equations in free topoboolean algebra (Q1092029) (← links)
- Bases of admissible rules in modal logics S4.2 and S4.2Grz (Q1320690) (← links)