Completeness results for memory logics.

Carlos Areces Santiago Figueira Sergio Mera

Published in: Ann. Pure Appl. Log. (2012)

Keyphrases

modal logic
memory size
memory usage
inference rules
memory requirements
decision making
memory management
computing power
computational power
expressive power
image sequences
data quality
main memory
data streams
multi agent
case study
information retrieval
memory capacity
order sorted