Titlebook: Nonclassical Logics and Information Processing; International Worksh David Pearce,Heinrich Wansing Conference proceedings 1992 Springer-Ver

forecast

A logic for memory,t commonly stated condition for factual memory in the philosophical literature shows that in factual memory ascription independent knowledge of the fact in question is essential. Then, a first basic logic for memory is presented using a type of neighborhoodsemantics together with syntactic restricti

Intentional