First Page | Document Content | |
---|---|---|
Date: 2016-05-03 10:44:18Logic Mathematical logic Model theory Mathematics Modal logic Non-classical logic Temporal logic Kripke structure Symbol Kripke semantics Interpretation Functional predicate | Formale Systeme II: Theorie Dynamic Logic: Uninterpreted and Interpreted First Order DL SS 2016Add to Reading ListSource URL: formal.iti.kit.eduDownload Document from Source WebsiteFile Size: 254,89 KBShare Document on Facebook |