Pages that link to "Item:Q4925166"
From MaRDI portal
The following pages link to Writing out unifiers for formulas with coefficients in intuitionistic logic (Q4925166):
Displaying 8 items.
- Admissible inference rules in the linear logic of knowledge and time \(\mathrm{LTK}_r\) with intransitive time relation (Q498234) (← links)
- Unification problem in Nelson's logic \(\mathbf{N4}\) (Q892014) (← links)
- Rules with parameters in modal logic. I. (Q2346953) (← links)
- Writing out Unifiers in Linear Temporal Logic (Q3165757) (← links)
- UNIFICATION IN INTERMEDIATE LOGICS (Q3450801) (← links)
- Unifiers in transitive modal logics for formulas with coefficients (meta-variables) (Q4925168) (← links)
- DECIDABILITY OF ADMISSIBILITY: ON A PROBLEM BY FRIEDMAN AND ITS SOLUTION BY RYBAKOV (Q5009678) (← links)
- Unification and Inference Rules in the Multi-modal Logic of Knowledge and Linear Time LTK (Q5852970) (← links)
