Pages that link to "Item:Q4925168"
From MaRDI portal
The following pages link to Unifiers in transitive modal logics for formulas with coefficients (meta-variables) (Q4925168):
Displaying 9 items.
- A syntactic approach to unification in transitive reflexive modal logics (Q286704) (← links)
- Admissible inference rules in the linear logic of knowledge and time \(\mathrm{LTK}_r\) with intransitive time relation (Q498234) (← links)
- Best unifiers in transitive modal logics (Q647403) (← links)
- Unification problem in Nelson's logic \(\mathbf{N4}\) (Q892014) (← links)
- Rules with parameters in modal logic. I. (Q2346953) (← links)
- Writing out unifiers for formulas with coefficients in intuitionistic logic (Q4925166) (← 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)
- Admissibility and unification in the modal logics related to S4.2 (Q6153443) (← links)
