Report copyright - web.stanford.edu · 40 Dynamic Predicate Logic (DPL) DPL semantics is minimally different from the standard Tarskian semantics for first-order logic. instead of interpreting a formula
Please pass captcha verification before submit form