Mechanised modal model theory
type: Item
instance of: scholarly article
title: Mechanised modal model theory
DOI: 10.1007/978-3-030-51074-9_30
author: Yiming Xu
author: Michael Norrish
publication date: 2022-11-09T00:00:00Z
Mathematics Subject Classification ID: 68V15
zbMATH DE Number: 7614532
MaRDI profile type: Publication
full work available at URL: 978-3-030-51074-9 30
OpenAlex ID: W3038297503
cites work: Modal logic
cites work: Unified Classical Logic Completeness
cites work: Model theory.
cites work: Q2739733
cites work: Q4247076
cites work: Q4222877
Recommended article: Modal logic and model theory
Recommended article: Model-Theoretic Logics
Recommended article: Q4394917
Recommended article: Models for relevant modal logics
Recommended article: Modal Logic over Higher Dimensional Automata
Recommended article: Theory and Applications of Relational Structures as Knowledge Instruments
Recommended article: Modal multilattice logic
Recommended article: Modal MTL-algebras
Recommended article: CONCUR 2004 - Concurrency Theory
Recommended article: Q4489076
description: scientific article; zbMATH DE number 7614532