Pages that link to "Item:Q688429"

The following pages link to The provability logic for \(\Sigma_ 1\)-interpolability (Q688429):

Displaying 2 items.

• On modal logics of model-theoretic relations (Q831223) (← links)
• An overview of Verbrugge semantics, a.k.a. generalised Veltman semantics (Q6612811) (← links)