Pages that link to "Item:Q3094189"
From MaRDI portal
The following pages link to THE EXPRESSIVE POWER OF MEMORY LOGICS (Q3094189):
Displaying 6 items.
- Expressive power of ``now'' and ``then'' operators (Q302173) (← links)
- Completeness results for memory logics (Q408552) (← links)
- Verification of dynamic bisimulation theorems in Coq (Q2035655) (← links)
- A modal logic for supervised learning (Q2155207) (← links)
- Characterization, definability and separation via saturated models (Q2453534) (← links)
- On Characterization, Definability and ω-Saturated Models (Q3105745) (← links)
