First-Order Logic

Book Chapter

Author(s):Peter H. Schmitt
In:Deductive Software Verification - The KeY Book: From Theory to Practice
Publisher:Springer
Series:Lecture Notes in Computer Science
Volume:10001
Part:I: Foundations
Chapter:2
Year:2016
Pages:23-47
DOI:10.1007/978-3-319-49812-6_2

Abstract

This chapter presents syntax, a calculus, and semantics of first-order logic. This is done first for a basic, typed first-order logic, and then for a richer logic tailored to the verification of Java programs.

BibTeX

@incollection{Schmitt2016,
  author    = {Peter H. Schmitt},
  title     = {First-Order Logic},
  booktitle = {Deductive Software Verification - The {\KeY} Book: From Theory to Practice},
  series    = {Lecture Notes in Computer Science},
  volume    = {10001},
  pages     = {23--47},
  chapter   = {2},
  part      = {I: Foundations},
  publisher = {Springer},
  year      = {2016},
  doi       = {10.1007/978-3-319-49812-6_2},
  month     = dec,
  abstract  = {This chapter presents syntax, a calculus, and semantics of
               first-order logic. This is done first for a basic, typed
               first-order logic, and then for a richer logic tailored
               to the verification of Java programs.}
}