Expressive power and decidability for memory logics
Taking as inspiration the hybrid logic , we introduce a new family of logics that we call memory logics. In this article we present in detail two interesting members of this family defining their formal syntax and semantics. We then introduce a proper notion of bisimulation and investigate their exp...
| Autores principales: | Areces, C., Figueira, D., Figueira, S., Mera, S. |
|---|---|
| Formato: | SER |
| Materias: | |
| Acceso en línea: | http://hdl.handle.net/20.500.12110/paper_03029743_v5110LNAI_n_p56_Areces |
| Aporte de: |
Ejemplares similares
-
Expressive power and decidability for memory logics
por: Areces, Carlos Eduardo, et al.
Publicado: (2008) -
On the formal semantics of IF-like logics
por: Figueira, S., et al. -
Completeness results for memory logics
por: Areces, C., et al. -
On the formal semantics of IF-like logics
por: Figueira, Santiago Daniel, et al.
Publicado: (2008) -
Tableaux and model checking for memory logics
por: Areces, C., et al.