Mechanised modal model theory

DOI10.1007/978-3-030-51074-9_30MaRDI QIDQ2096473zbMATH OpenOpenAlexFDO

Authors 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)

Recommendations

• Modal logic and model theory
• Model-Theoretic Logics
• scientific article; zbMATH DE number 1163388
• Models for relevant modal logics
• Modal logic over higher dimensional automata
• Theory and Applications of Relational Structures as Knowledge Instruments
• Modal multilattice logic
• Modal MTL-algebras
• CONCUR 2004 - Concurrency Theory
• Publication:4489076

Cites work

• scientific article; zbMATH DE number 1646230 (Why is no real title available?)
• scientific article; zbMATH DE number 1231561 (Why is no real title available?)
• scientific article; zbMATH DE number 1301853 (Why is no real title available?)
• Modal logic
• Model theory.
• Unified Classical Logic Completeness

Cited in

(3)

• Theory and Applications of Relational Structures as Knowledge Instruments
• Modal correspondence for models
• Mechanising Gödel-Löb provability logic in HOL light

This page was built for publication: Mechanised modal model theory

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2096473)