Pages that link to "Item:Q4443406"
From MaRDI portal
The following pages link to Unification and Passive Inference Rules for Modal Logics (Q4443406):
Displaying 11 items.
- A syntactic approach to unification in transitive reflexive modal logics (Q286704) (← links)
- Deductive systems with multiple-conclusion rules and the disjunction property (Q2306638) (← links)
- 2004 Summer Meeting of the Association for Symbolic Logic (Q3370624) (← links)
- (Q3509214) (← links)
- Unifiers in transitive modal logics for formulas with coefficients (meta-variables) (Q4925168) (← links)
- Ideal Related Algebras and Their Logics Extended Abstract (Q5098744) (← links)
- Unification in first-order transitive modal logic (Q5241924) (← links)
- Multiple Conclusion Rules in Logics with the Disjunction Property (Q5283419) (← links)
- Filtering unification and most general unifiers in modal logic (Q5311759) (← links)
- Unification and Inference Rules in the Multi-modal Logic of Knowledge and Linear Time LTK (Q5852970) (← links)
- Projective unification in weakly transitive and weakly symmetric modal logics (Q5866481) (← links)