'Topological' Aspects of Knowledge and Nexttime

Heinemann, Bernhard GND

We present a multi-agent logic of knowledge which speaks about the simultaneous changes of the respective sets of knowledge states by passing to the next time. Our main results concern completeness and dedicability of the corresponding logical system, complexity of certain subclasses of formulas, and the treatment of common knowledge.

Vorschau

Zitieren

Zitierform:

Heinemann, Bernhard: 'Topological' Aspects of Knowledge and Nexttime. Hagen 1996. FernUniversität in Hagen.

Zugriffsstatistik

Gesamt

Volltextzugriffe:
Metadatenansicht:

12 Monate

Volltextzugriffe:
Metadatenansicht:

Rechte

Nutzung und Vervielfältigung:
Alle Rechte vorbehalten

Export

powered by MyCoRe