From Semantic Web Technologies

Jump to: navigation, search

From Appendix C

Logic

of Foundations of Semantic Web Technologies:

"In this appendix, we very briefly recall some logical foundations which are needed for our discussions of formal semantics. We will completely introduce syntax and semantics of first-order predicate logic, but will refrain from doing formal proofs or extended examples."

Contents

  • Syntax
  • Semantics
  • Proof Theory and Decidability