Pages that link to "Item:Q3061279"
From MaRDI portal
The following pages link to Bisimulations and bisimulation quotients of generalized Veltman models (Q3061279):
Displaying 10 items.
- A note on bisimulation and modal equivalence in provability logic and interpretability logic (Q361870) (← links)
- Characteristic classes and bisimulations of generalized Veltman models (Q2718477) (← links)
- Filtrations of generalized Veltman models (Q2827954) (← links)
- Bisimulation quotients of Veltman models (Q2888153) (← links)
- Generalized Bisimulation Metrics (Q3190107) (← links)
- Bisimulations between generalized Veltman models and Veltman models (Q3520227) (← links)
- A bisimulation characterization for interpretability logic (Q4644496) (← links)
- INTERPRETABILITY LOGICS AND GENERALISED VELTMAN SEMANTICS (Q5148108) (← links)
- Bisimulations and bisimulation games between Verbrugge models (Q6096733) (← links)
- An overview of Verbrugge semantics, a.k.a. generalised Veltman semantics (Q6612811) (← links)