Mechanised modal model theory
From MaRDI portal
Publication:2096473
DOI10.1007/978-3-030-51074-9_30OpenAlexW3038297503MaRDI QIDQ2096473FDOQ2096473
Publication date: 9 November 2022
Full work available at URL: https://doi.org/10.1007/978-3-030-51074-9_30
Cites Work
Cited In (3)
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)