The following pages link to Importing logics (Q694499):
Displaying 5 items.
- Importing logics: soundness and completeness preservation (Q361861) (← links)
- Probabilization of logics: completeness and decidability (Q2254552) (← links)
- Fibring as biporting subsumes asymmetric combinations (Q2259004) (← links)
- Epistemic logics with structured knowledge (Q2333672) (← links)
- Distributed Modal Logic (Q3305433) (← links)
