6 search results - page 2 / 2 » Terminating Tableaux for Hybrid Logic with Eventualities |
TABLEAUX
2009
Springer
14 years 1 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...