On modal logics of model-theoretic relations

DOI10.1007/S11225-019-09885-YzbMATH Open1473.03011arXiv1804.09810OpenAlexW2992377175WikidataQ126530419 ScholiaQ126530419MaRDI QIDQ831223FDOQ831223

Authors: Denis I. Saveliev, Ilya Shapirovsky 

Publication date: 11 May 2021

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

Abstract: Given a class $mathcalC$ of models, a binary relation $mathcalR$ between models, and a model-theoretic language $L$, we consider the modal logic and the modal algebra of the theory of $mathcalC$ in $L$ where the modal operator is interpreted via $mathcalR$. We discuss how modal theories of $mathcalC$ and $mathcalR$ depend on the model-theoretic language, their Kripke completeness, and expressibility of the modality inside $L$. We calculate such theories for the submodel and the quotient relations. We prove a downward L"owenheim--Skolem theorem for first-order language expanded with the modal operator for the extension relation between models.

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

Recommendations

• Modal logic and model theory
• scientific article; zbMATH DE number 67039
• scientific article; zbMATH DE number 4041866
• scientific article; zbMATH DE number 1303433
• Cylindric modal logic

zbMATH Keywords

modal logicmodal algebralogic of quotientslogic of submodelsmodel-theoretic logicrobust modal theoryLöwenheim-Skolem theorem

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)

Cites Work

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

Cited In (17)

• On modal logics characterized by models with relative accessibility relations. II
• Modal model theory
• Title not available (Why is that?)
• On a graph approach to modal logics
• Title not available (Why is that?)
• Virtual modality
• Löwenheim-Skolem theorems for non-classical first-order algebraizable logics
• Title not available (Why is that?)
• Title not available (Why is that?)
• Quasi-modal equivalence of canonical structures
• Title not available (Why is that?)
• The modal logic of abelian groups
• Title not available (Why is that?)
• Segerberg Squares of Modal Logics and Theories of Relation Algebras
• Modal dependence logics: axiomatizations and model-theoretic properties
• Title not available (Why is that?)
• Modal logic and model theory

This page was built for publication: On modal logics of model-theoretic relations

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q831223)