On modal logics of model-theoretic relations

DOI10.1007/S11225-019-09885-YMaRDI QIDQ831223zbMATH OpenOpenAlexWikidataFDO

Authors Denis I. Saveliev, Ilya 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 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)

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.

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

Cites work

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

Cited in

(17)

• Quasi-modal equivalence of canonical structures
• Modal logic and model theory
• Segerberg Squares of Modal Logics and Theories of Relation Algebras
• The modal logic of abelian groups
• scientific article; zbMATH DE number 5640557 (Why is no real title available?)
• Virtual modality
• scientific article; zbMATH DE number 2196593 (Why is no real title available?)
• scientific article; zbMATH DE number 5241978 (Why is no real title available?)
• On a graph approach to modal logics
• Modal dependence logics: axiomatizations and model-theoretic properties
• scientific article; zbMATH DE number 727674 (Why is no real title available?)
• scientific article; zbMATH DE number 4061199 (Why is no real title available?)
• Löwenheim-Skolem theorems for non-classical first-order algebraizable logics
• On modal logics characterized by models with relative accessibility relations. II
• scientific article; zbMATH DE number 7123533 (Why is no real title available?)
• Modal model theory
• scientific article; zbMATH DE number 3304005 (Why is no real title available?)

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)