Pages that link to "Item:Q4262591"
From MaRDI portal
The following pages link to Interpolation, preservation, and pebble games (Q4262591):
Displayed 12 items.
- Craig interpolation for networks of sentences (Q435205) (← links)
- On modal logics of model-theoretic relations (Q831223) (← links)
- The many faces of interpolation (Q1024113) (← links)
- Uniform short proofs for classical theorems (Q1409313) (← links)
- Modal and guarded characterisation theorems over finite transition systems (Q1886323) (← links)
- Bisimulation-invariant PTIME and higher-dimensional \(\mu\)-calculus (Q1960425) (← links)
- On the Notion of Vacuous Truth (Q3498452) (← links)
- Dynamic logic for belief revision (Q3647267) (← links)
- INFINITARY PROPOSITIONAL RELEVANT LANGUAGES WITH ABSURDITY (Q4600823) (← links)
- Barwise: Infinitary Logic and Admissible Sets (Q4678932) (← links)
- Interpolation and preservation in \({\mathcal{ML}}_{\omega_1}\) (Q5937814) (← links)
- Games and Lindström theorems (Q6043095) (← links)