Pages that link to "Item:Q3126406"
From MaRDI portal
The following pages link to Modal Foundations for Predicate Logic (Q3126406):
Displayed 5 items.
- The lambda-context calculus (extended version) (Q1044184) (← links)
- Hypersequent and display calculi -- a unified perspective (Q2259013) (← links)
- The grammar of quantification and the fine structure of interpretation contexts (Q2443334) (← links)
- AN OVERVIEW OF ROUGH SET SEMANTICS FOR MODAL AND QUANTIFIER LOGICS (Q3427870) (← links)
- On Dependence Logic (Q5249667) (← links)