On modal logics of model-theoretic relations

DOI10.1007/s11225-019-09885-yzbMath1473.03011arXiv1804.09810OpenAlexW2992377175WikidataQ126530419 ScholiaQ126530419MaRDI QIDQ831223

Denis I. Saveliev, Ilya B. Shapirovsky

Publication date: 11 May 2021

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1804.09810

zbMATH Keywords

modal logicmodal algebraLöwenheim-Skolem theoremlogic of quotientslogic of submodelsmodel-theoretic logicrobust modal theory

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Other algebras related to logic (03G25) Properties of classes of models (03C52) Other classical first-order model theory (03C68)

Related Items

The modal logic of abelian groups

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The elementary theory of groups. A guide through the proofs of the Tarski conjectures.
• Structural connections between a forcing class and its modal logic
• The provability logic for \(\Sigma_ 1\)-interpolability
• The modal logic of pure provability
• Modal logics of domains on the real plane
• Diodorean modality in Minkowski spacetime
• Model theory.
• Provability interpretations of modal logic
• Defaults in update semantics
• Modal counterparts of Medvedev logic of finite problems are not finitely axiomatizable
• On first-order expressibility of satisfiability in submodels
• THE MODAL LOGIC OF INNER MODELS
• Logical Dynamics of Information and Interaction
• A simple maximality principle
• Kripke Models Built from Models of Arithmetic
• Interpolation, preservation, and pebble games
• Model Theory
• Logical questions concerning the μ-calculus: Interpolation, Lyndon and Łoś-Tarski
• The interpretability logic of Peano arithmetic
• Substructure Temporal Logic
• The modal logic of forcing