Mechanised modal model theory

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

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

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

Mathematics Subject Classification ID

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

Cites Work

• Modal logic
• Model theory.
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Unified Classical Logic Completeness

Cited In (3)

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

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)