Pages that link to "Item:Q3520227"
From MaRDI portal
The following pages link to Bisimulations between generalized Veltman models and Veltman models (Q3520227):
Displaying 10 items.
- A note on bisimulation and modal equivalence in provability logic and interpretability logic (Q361870) (← links)
- A cut-free sequent system for the smallest interpretability logic (Q1604800) (← 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)
- Bisimulations and bisimulation quotients of generalized Veltman models (Q3061279) (← links)
- Modal Matters for Interpretability Logics (Q3535605) (← links)
- A bisimulation characterization for interpretability logic (Q4644496) (← links)
- INTERPRETABILITY LOGICS AND GENERALISED VELTMAN SEMANTICS (Q5148108) (← links)
- An overview of Verbrugge semantics, a.k.a. generalised Veltman semantics (Q6612811) (← links)