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

logic of quotientslogic of submodelsLöwenheim-Skolem theoremmodal algebramodal logicmodel-theoretic logicrobust modal theory

Mathematics Subject Classification ID

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

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.

Review text

In this paper, modal logic and the modal algebra of the theory of some class \(\mathcal C\) of models are considered, the modal operator is interpreted as a relation \(\mathcal R\) on \(\mathcal C\). The language \(L\) of the theory is a usual model theoretic language which includes the standard first-order language, and satisfiability in \(L\) is asumed to be preserved under isomorphisms. By a modal logic is meant a normal propositional unimodal logic. The authors discuss how modal theories of \((\mathcal{C,R})\) depend on \(L\), the Kripke completeness of these theories, and expressibility of the modality in \(L\); they also describe the modal theories for the submodel and the quotient relations. For a first-order modal logic expanded with a modal operator for the extension relation betwen models, a downward Löwenheim-Skolem theorem is proved.

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

• A simple maximality principle
• Defaults in update semantics
• Diodorean modality in Minkowski spacetime
• 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?)
• 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)

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