Pages that link to "Item:Q1258725"

The following pages link to Model theory for modal logic. II: The elimination of de re modality (Q1258725):

Displaying 4 items.

• First-order modal theories (Q1156123) (← links)
• \textit{De re} language, \textit{de re} eliminability, and the essential limits of both (Q1366763) (← links)
• The elimination of \textit{de re} formulas (Q1368754) (← links)
• The expressive power of second-order propositional modal logic (Q1924326) (← links)