Unification in first-order transitive modal logic
From MaRDI portal
Recommendations
- Unification in modal logic
- Unification in modal logic \(\mathrm{Alt}_1\)
- Projective unification in transitive modal logics
- Best unifiers in transitive modal logics
- A syntactic approach to unification in transitive reflexive modal logics
- Unification in modal and description logics
- Unification and Passive Inference Rules for Modal Logics
- Unification in intuitionistic logic
- UNIFICATION IN INTERMEDIATE LOGICS
- Unifying quantified modal logic
Cited in
(17)- A syntactic approach to unification in transitive reflexive modal logics
- Projective unification in modal logic
- Blending margins: the modal logic K has nullary unification type
- Unifiability in extensions of K4
- Unification and Passive Inference Rules for Modal Logics
- scientific article; zbMATH DE number 1471983 (Why is no real title available?)
- Unifiers in transitive modal logics for formulas with coefficients (meta-variables)
- scientific article; zbMATH DE number 7599937 (Why is no real title available?)
- Projective unification in transitive modal logics
- scientific article; zbMATH DE number 7267155 (Why is no real title available?)
- Remarks about the unification type of several non-symmetric non-transitive modal logics
- Filtering unification and most general unifiers in modal logic
- UNIFICATION IN SUPERINTUITIONISTIC PREDICATE LOGICS AND ITS APPLICATIONS
- Transparent unifiers in modal logics with self-conjugate operators
- Unification in Linear Modal Logic on Non-transitive Time with the Universal Modality
- Projective unification in weakly transitive and weakly symmetric modal logics
- Best unifiers in transitive modal logics
This page was built for publication: Unification in first-order transitive modal logic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5241924)
