The top documents tagged [model completeness logic]

Soundness and Completeness of the NRB verification logic (OpenCert 2013)
Technology Soundness and Completeness of the NRB verification logic (OpenCert 2013)

64 views