Pages that link to "Item:Q1170232"
From MaRDI portal
The following pages link to Admissible rules for pretable modal logics (Q1170232):
Displayed 3 items.
- The decidability of admissibility problems for modal logics S4.2 and S4.2Grz and superintuitionistic logic KC (Q1317616) (← links)
- Criteria for admissibility of inference rules. Modal and intermediate logics with the branching property (Q1327480) (← links)
- Satisfiability in Boolean Logic (SAT problem) is polynomial? (Q5071401) (← links)