Pages that link to "Item:Q805609"
From MaRDI portal
The following pages link to Logical equations and admissible rules of inference with parameters in modal provability logics (Q805609):
Displaying 9 items.
- Rules admissible in transitive temporal logic \(\mathrm{T}_{\mathrm{S}4}\), sufficient condition (Q606997) (← links)
- Best unifiers in transitive modal logics (Q647403) (← links)
- Linear temporal logic with until and next, logical consecutions (Q947268) (← links)
- Criteria for admissibility of inference rules. Modal and intermediate logics with the branching property (Q1327480) (← links)
- Deductive systems with multiple-conclusion rules and the disjunction property (Q2306638) (← links)
- Rules with parameters in modal logic. I. (Q2346953) (← links)
- What is an inference rule? (Q4032879) (← links)
- DECIDABILITY OF ADMISSIBILITY: ON A PROBLEM BY FRIEDMAN AND ITS SOLUTION BY RYBAKOV (Q5009678) (← links)
- Satisfiability in Boolean Logic (SAT problem) is polynomial? (Q5071401) (← links)
