The expressive power of memory logics
From MaRDI portal
Recommendations
Cites work
- An axiomatic basis for computer programming
- Dynamic epistemic logic
- Dynamic predicate logic
- Expressive Power and Decidability for Memory Logics
- Hybrid languages
- Hybrid logics: Characterization, interpolation and complexity
- Logics of communication and change
- Model-checking in dense real-time
- Propositional dynamic logic is weaker without tests
- Tableaux and model checking for memory logics
- The benefits of relaxing punctuality
- The computational complexity of hybrid temporal logics
Cited in
(18)- Memory of past beliefs and actions
- Verification of dynamic bisimulation theorems in Coq
- A calculus for attribute-based memory updates
- A modal logic for supervised learning
- Limitations of the program memory and the expressive power of dynamic logics
- Characterization, definability and separation via saturated models
- Basic model theory for memory logics
- Expressive power of ``now and ``then operators
- On characterization, definability and -saturated models
- Expressive Power and Decidability for Memory Logics
- Completeness Results for Memory Logics
- Tableaux and model checking for memory logics
- Completeness results for memory logics
- CaRet with forgettable past
- Programming Languages and Systems
- The modal logics of the poison game
- Local fact change logic
- Modal logic with relations over paths: a theoretical development through comonadic semantics
This page was built for publication: The expressive power of memory logics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3094189)
