Pages that link to "Item:Q1368754"
From MaRDI portal
The following pages link to The elimination of \textit{de re} formulas (Q1368754):
Displaying 5 items.
- \textit{De re} language, \textit{de re} eliminability, and the essential limits of both (Q1366763) (← links)
- A note on de re modalities (Q2735834) (← links)
- The removal of $\pi $ from some undecidable problems involving elementary functions (Q4804074) (← links)
- Typed Lambda Calculi and Applications (Q5704012) (← links)
- First-order expressivity for S5-models: Modal vs. two-sorted languages (Q5960012) (← links)