The following pages link to (Q4532129):
Displaying 6 items.
- Some characterization and preservation theorems in modal logic (Q714726) (← links)
- Modal logic via global consequence (Q2148783) (← links)
- Characterising modal definability of team-based logics via the universal modality (Q2273015) (← links)
- Model theory of XPath on data trees. II: Binary bisimulation and definability (Q2401631) (← links)
- Characterization, definability and separation via saturated models (Q2453534) (← links)
- Existential definability of modal frame classes (Q6096325) (← links)
