### From Semantic Web Technologies

(→Logic) |
|||

Line 3: | Line 3: | ||

of [[Foundations of Semantic Web Technologies]]: | of [[Foundations of Semantic Web Technologies]]: | ||

- | + | <blockquote>In this appendix, we very briefly recall some logical foundations which are | |

needed for our discussions of formal semantics. We will completely introduce | needed for our discussions of formal semantics. We will completely introduce | ||

syntax and semantics of first-order predicate logic, but will refrain from doing | syntax and semantics of first-order predicate logic, but will refrain from doing | ||

- | formal proofs or extended examples. | + | formal proofs or extended examples.</blockquote> |

== Contents == | == Contents == | ||

Line 13: | Line 13: | ||

* Semantics | * Semantics | ||

* Proof Theory and Decidability | * Proof Theory and Decidability | ||

+ | {{vspace}} |

## Current revision as of 18:15, 13 June 2009

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