Survey
* Your assessment is very important for improving the work of artificial intelligence, which forms the content of this project
Download Safety Metric Temporal Logic is Fully Decidable
Document related concepts
Structure (mathematical logic) wikipedia , lookup
History of the function concept wikipedia , lookup
Model theory wikipedia , lookup
Modal logic wikipedia , lookup
Mathematical logic wikipedia , lookup
Law of thought wikipedia , lookup
First-order logic wikipedia , lookup
Quantum logic wikipedia , lookup
Halting problem wikipedia , lookup
Cognitive semantics wikipedia , lookup
Intuitionistic logic wikipedia , lookup
Propositional calculus wikipedia , lookup
History of the Church–Turing thesis wikipedia , lookup
Hyperreal number wikipedia , lookup
Transcript
