Pages that link to "Item:Q4443406"
From MaRDI portal
The following pages link to Unification and Passive Inference Rules for Modal Logics (Q4443406):
Displaying 4 items.
- Deductive systems with multiple-conclusion rules and the disjunction property (Q2306638) (← links)
- 2004 Summer Meeting of the Association for Symbolic Logic (Q3370624) (← links)
- Ideal Related Algebras and Their Logics Extended Abstract (Q5098744) (← links)
- Multiple Conclusion Rules in Logics with the Disjunction Property (Q5283419) (← links)
