Pages that link to "Item:Q2718477"

The following pages link to Characteristic classes and bisimulations of generalized Veltman models (Q2718477):

Displaying 8 items.

• A note on bisimulation and modal equivalence in provability logic and interpretability logic (Q361870) (← links)
• Some correspondences of principles in interpretability logic (Q2785600) (← links)
• Filtrations of generalized Veltman models (Q2827954) (← links)
• Bisimulations and bisimulation quotients of generalized Veltman models (Q3061279) (← links)
• Bisimulations between generalized Veltman models and Veltman models (Q3520227) (← links)
• A bisimulation characterization for interpretability logic (Q4644496) (← links)
• The principles of interpretability (Q5937854) (← links)
• Bisimulations and bisimulation games between Verbrugge models (Q6096733) (← links)