NM-DEKL${}_{\infty }^3$: A Three-Layer Non-Monotone Evolving Dependent Type Logic

Peng Chen

We present a new dependent type system, NM-DEKL${}_{\infty }^3$ (Non-Monotone Dependent Knowledge-Enhanced Logic), for formalising evolving knowledge in dynamic environments. The system…