Modal model theory
DOI10.1215/00294527-2024-0001MaRDI QIDQ6564675
Joel David Hamkins, Wojciech Aleksander Wołoszyn
Publication date: 1 July 2024
Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)
modal logicgraph theorymodel theoryset theoryKripke modelcountable random graphmaximality principleS5S4.2logical expressivenesspotentialist system
Random graphs (graph-theoretic aspects) (05C80) Modal logic (including the logic of norms) (03B45) Paths and cycles (05C38) Coloring of graphs and hypergraphs (05C15) Logic with extra quantifiers and operators (03C80) Directed graphs (digraphs), tournaments (05C20) Models of arithmetic and set theory (03C62) Connectivity (05C40) Other set-theoretic hypotheses and axioms (03E65) Properties of classes of models (03C52) Models of other mathematical theories (03C65) Other classical set theory (including functions, relations, and set algebra) (03E20) Ordinal and cardinal numbers (03E10) Quantifier elimination, model completeness, and related topics (03C10) Set-theoretic model theory (03C55) Other notions of set-theoretic definability (03E47)
This page was built for publication: Modal model theory
