Survey
* Your assessment is very important for improving the work of artificial intelligence, which forms the content of this project
Download General Dynamic Dynamic Logic
Document related concepts
Foundations of mathematics wikipedia , lookup
Willard Van Orman Quine wikipedia , lookup
Fuzzy logic wikipedia , lookup
List of first-order theories wikipedia , lookup
Junction Grammar wikipedia , lookup
Lorenzo Peña wikipedia , lookup
Propositional formula wikipedia , lookup
Model theory wikipedia , lookup
First-order logic wikipedia , lookup
Jesús Mosterín wikipedia , lookup
Combinatory logic wikipedia , lookup
History of logic wikipedia , lookup
Mathematical logic wikipedia , lookup
Structure (mathematical logic) wikipedia , lookup
Law of thought wikipedia , lookup
Curry–Howard correspondence wikipedia , lookup
Propositional calculus wikipedia , lookup
Laws of Form wikipedia , lookup
Modal logic wikipedia , lookup
Transcript
