Mechanised modal model theory

DOI10.1007/978-3-030-51074-9_30OpenAlexW3038297503MaRDI QIDQ2096473

Yiming Xu, Michael Norrish

Publication date: 9 November 2022

Full work available at URL: https://doi.org/10.1007/978-3-030-51074-9_30

Mathematics Subject Classification ID

Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Related Items (1)

Mechanising Gödel-Löb provability logic in HOL light

Cites Work

• Model theory.
• Unified Classical Logic Completeness
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Mechanised modal model theory