Pages that link to "Item:Q3094189"
From MaRDI portal
The following pages link to THE EXPRESSIVE POWER OF MEMORY LOGICS (Q3094189):
Displaying 11 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 calculus for attribute-based memory updates (Q2119988) (← links)
- A modal logic for supervised learning (Q2155207) (← links)
- Limitations of the program memory and the expressive power of dynamic logics (Q2365759) (← links)
- Characterization, definability and separation via saturated models (Q2453534) (← links)
- On Characterization, Definability and ω-Saturated Models (Q3105745) (← links)
- Programming Languages and Systems (Q5308692) (← links)
- The modal logics of the poison game (Q6601761) (← links)
- Local fact change logic (Q6601765) (← links)