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

Language Acquisition without Meaning

Junction Height Tree

Merging Time-span / Prolongational Tree Structure

Tension Relaxation Structure

Cadential Retention

Linguistic Musicology

Structure Analysis by Machine Learning