Dynamic Epistemic Logic
Linear Algebraic Representation
Logic with Awareness
Logic with Communication Channel
Reliability of Information Source
Permit / Forget / Link Retrieval
Detective Story - who knows what at watch time?
Temporal Logic of conjunctive
Description Logic / Argumentation Theory