Pages that link to "Item:Q2888153"
From MaRDI portal
The following pages link to Bisimulation quotients of Veltman models (Q2888153):
Displaying 5 items.
- Characteristic classes and bisimulations of generalized Veltman models (Q2718477) (← links)
- Bisimulations and bisimulation quotients of generalized Veltman models (Q3061279) (← links)
- Bisimulations between generalized Veltman models and Veltman models (Q3520227) (← links)
- Modal Matters for Interpretability Logics (Q3535605) (← links)
- A bisimulation characterization for interpretability logic (Q4644496) (← links)