Pages that link to "Item:Q3511448"
From MaRDI portal
The following pages link to Expressive Power and Decidability for Memory Logics (Q3511448):
Displaying 9 items.
- Completeness results for memory logics (Q408552) (← links)
- Coinductive models and normal forms for modal logics (or how we learned to stop worrying and love coinduction) (Q631075) (← links)
- Verification of dynamic bisimulation theorems in Coq (Q2035655) (← links)
- Characterization, definability and separation via saturated models (Q2453534) (← links)
- THE EXPRESSIVE POWER OF MEMORY LOGICS (Q3094189) (← links)
- On Characterization, Definability and ω-Saturated Models (Q3105745) (← links)
- Completeness Results for Memory Logics (Q3605517) (← links)
- THE MODAL LOGIC OF STEPWISE REMOVAL (Q5065135) (← links)
- Graph games and logic design (Q6601767) (← links)
