Deductive Software Verification – The KeY Book

Volume 10001 of the series Lecture Notes in Computer Science pp 23-47


First-Order Logic

  • Peter H. SchmittAffiliated withKarlsruhe Institute of Technology Email author 

* Final gross prices may vary according to local VAT.

Get Access


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.