Pages that link to "Item:Q3126406"
From MaRDI portal
The following pages link to Modal Foundations for Predicate Logic (Q3126406):
Displayed 7 items.
- The lambda-context calculus (extended version) (Q1044184) (← links)
- Hypersequent and display calculi -- a unified perspective (Q2259013) (← links)
- Explicating logical independence (Q2301324) (← 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)
- RESTRICTED INTERPOLATION AND LACK THEREOF IN STIT LOGIC (Q5117589) (← links)
- On Dependence Logic (Q5249667) (← links)