Chang's modal operators in algebraic logic

DOI10.1007/BF01418758MaRDI QIDQ2266713zbMATH OpenFDO

Authors George Georgescu

Publication date 1983

Published in Studia Logica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/BF01418758

zbMATH Keywords

Chang algebrasmodal logicpolyadic algebrarepresentation theorem

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Cylindric and polyadic algebras; relation algebras (03G15) Other algebras related to logic (03G25)

Review text

The author defines Chang algebras as algebraic models for the modal logic introduced and studied by \textit{C. C. Chang} [Lect. Notes Math. 337, 599- 617 (1973; Zbl 0276.02012)]. The main result of this paper is a representation theorem for these algebras.

Recommendations

• scientific article; zbMATH DE number 5984132
• scientific article; zbMATH DE number 5054082
• scientific article; zbMATH DE number 5046779
• Publication:4943494
• Algebraic semantics for quasi-classical modal logics

Cites work

• Algebraic Analysis of the Topological Logic L(I)
• Completeness Theorems For Modal Model Theory With the Montague‐Chang Semantics I
• scientific article; zbMATH DE number 3164639 (Why is no real title available?)
• Interpolation Fails for the Souslin-Kleene Closure of the Open Set Quantifier Logic

Cited in

(6)

• scientific article; zbMATH DE number 1302019 (Why is no real title available?)
• scientific article; zbMATH DE number 1099515 (Why is no real title available?)
• scientific article; zbMATH DE number 2070196 (Why is no real title available?)
• scientific article; zbMATH DE number 3995642 (Why is no real title available?)
• Interpolation and amalgamation in modal cylindric algebras
• Omitting types algebraically and more about amalgamation for modal cylindric algebras

This page was built for publication: Chang's modal operators in algebraic logic

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