Back to Results
First PageMeta Content
Logic / 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 2016
Add to Reading List

Document Date: 2016-05-03 10:44:18


Open Document

File Size: 254,89 KB

Share Result on Facebook
UPDATE