Pages that link to "Item:Q2827954"
From MaRDI portal
The following pages link to Filtrations of generalized Veltman models (Q2827954):
Displaying 5 items.
- Every finitely reducible logic has the finite model property with respect to the class of \(\lozenge\)-formulae (Q1288962) (← links)
- INTERPRETABILITY LOGICS AND GENERALISED VELTMAN SEMANTICS (Q5148108) (← links)
- An algebraic look at filtrations in modal logic (Q5176659) (← links)
- Bisimulations and bisimulation games between Verbrugge models (Q6096733) (← links)
- An overview of Verbrugge semantics, a.k.a. generalised Veltman semantics (Q6612811) (← links)