Pages that link to "Item:Q5311759"
From MaRDI portal
The following pages link to Filtering unification and most general unifiers in modal logic (Q5311759):
Displaying 17 items.
- Unification, finite duality and projectivity in varieties of Heyting algebras (Q598304) (← links)
- Rules admissible in transitive temporal logic \(\mathrm{T}_{\mathrm{S}4}\), sufficient condition (Q606997) (← links)
- About the unification type of \(\mathbf{K}+\square \square \bot\) (Q2134937) (← links)
- Rules with parameters in modal logic. I. (Q2346953) (← links)
- Finitary unification in locally tabular modal logics characterized (Q2667999) (← links)
- A Tableau Method for Checking Rule Admissibility in S4 (Q3185759) (← links)
- Contact Logic is Finitary for Unification with Constants (Q3298276) (← links)
- Hypersequent Systems for the Admissible Rules of Modal and Intermediate Logics (Q3605532) (← links)
- Unification in epistemic logics (Q4586223) (← links)
- <i>KD</i> is nullary (Q4586229) (← links)
- (Q4963142) (← links)
- UNIFICATION IN SUPERINTUITIONISTIC PREDICATE LOGICS AND ITS APPLICATIONS (Q5381031) (← links)
- Unification and Inference Rules in the Multi-modal Logic of Knowledge and Linear Time LTK (Q5852970) (← links)
- Unification in Linear Modal Logic on Non-transitive Time with the Universal Modality (Q5853178) (← links)
- Admissibility and unification in the modal logics related to S4.2 (Q6153443) (← links)
- About the unification types of modal logics (Q6612813) (← links)
- Unification types and union splittings in intermediate logics (Q6614043) (← links)
