Mechanised modal model theory

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

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)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Modal logic
• Model theory.
• 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

Recommendations

• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Modal Logic over Higher Dimensional Automata 👍 👎
• Modal multilattice logic 👍 👎
• Model-Theoretic Logics 👍 👎
• CONCUR 2004 - Concurrency Theory 👍 👎
• Theory and Applications of Relational Structures as Knowledge Instruments 👍 👎
• Modal logic and model theory 👍 👎
• Models for relevant modal logics 👍 👎
• Modal MTL-algebras 👍 👎

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)