concept

Semantic framework indexing truth to alternative worlds or situations. Not situation-semantics as event-situation slice alone, and not file-change-semantics as discourse update alone.