Pages that link to "Item:Q3926559"

The following pages link to Topological model theory with an interior operator: Consistency properties and back — and forth arguments (Q3926559):

Displaying 4 items.

• Modal languages for topology: expressivity and definability (Q1023054) (← links)
• Topological Perspective on the Hybrid Proof Rules (Q2867949) (← links)
• Some model theory for monotone quantifiers (Q4141237) (← links)
• Interpolation in Logiken monotoner systeme (Q4745811) (← links)