185
click to vote
TABLEAUX
2009
Springer
16 years 7 days ago
2009
Springer
Memory logics are modal logics whose semantics is specified in terms of relational models enriched with additional data structure to represent memory. The logical language is then...