The following pages link to (Q2721196):
Displaying 6 items.
- Hypersequent rules with restricted contexts for propositional modal logics (Q344801) (← links)
- A fresh view of linear logic as a logical framework (Q2229156) (← links)
- NEXP-Completeness and Universal Hardness Results for Justification Logic (Q3194706) (← links)
- Complexity Results for Modal Dependence Logic (Q3586056) (← links)
- Modal Logics with Hard Diamond-Free Fragments (Q5283414) (← links)
- A linear logic framework for multimodal logics (Q5889307) (← links)