The Semantical Characterization of de Dicto in Continuous Modal Model Theory

DOI10.1002/MALQ.19810271503zbMATH Open0464.03021OpenAlexW2021984402MaRDI QIDQ3914959FDOQ3914959

Authors: Hirokazu Nishimura 

Publication date: 1981

Published in: Zeitschrift für Mathematische Logik und Grundlagen der Mathematik (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/malq.19810271503

zbMATH Keywords

modal logiccontinuous model theorypreservation theoremde dicto sentencesfirst-order modal model theorytruth values in compact Hausdorff spaces

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Many-valued logic (03B50) Interpolation, preservation, definability (03C40)

This page was built for publication: The Semantical Characterization of de Dicto in Continuous Modal Model Theory

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