Pages that link to "Item:Q2346953"
From MaRDI portal
The following pages link to Rules with parameters in modal logic. I. (Q2346953):
Displayed 5 items.
- About the unification type of modal logics between \(\mathbf{KB}\) and \(\mathbf{KTB} \) (Q831218) (← links)
- Rules with parameters in modal logic. II. (Q2004954) (← links)
- On the proof complexity of logics of bounded branching (Q2084964) (← 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)