Completeness Results for Memory Logics
| Title | Completeness Results for Memory Logics |
| Publication Type | Journal Article |
| Year of Publication | 2012 |
| Authors | Areces, C, Figueira, S, Mera, S |
| Journal | Annals of Pure and Applied Logic |
| Volume | 163 |
| Issue | 7 |
| Pagination | 961-972 |
| Date Published | 07/2012 |
| ISSN | 0168-0072 |
| Keywords | Completeness, Hybrid Logics, Memory Logics, Modal logics |
| Abstract | Memory logics are a family of modal logics in which standard relational struc- tures are augmented with data structures and additional operations to modify and query these structures. In this paper we present sound and complete ax- iomatizations for some members of this family. We analyse the use of nominals to achieve completeness, and present one example in which they can be avoided. |
| URL | http://www.sciencedirect.com/science/article/pii/S0168007211001278 |
| DOI | 10.1016/j.apal.2011.09.005 |
| Refereed Designation | Refereed |
PDF (Full text):
Work Package:
WP2
