Modelltheoretische Untersuchungen in der Kripke-Semantik

DOI10.1007/BF01967647zbMath0216.01203OpenAlexW1979077133MaRDI QIDQ5619087

Horst Osswald

Publication date: 1970

Published in: Archiv für Mathematische Logik und Grundlagenforschung (Search for Journal in Brave)

Full work available at URL: https://eudml.org/doc/137830

Mathematics Subject Classification ID

Ultraproducts and related constructions (03C20) Nonclassical models (Boolean-valued, sheaf, etc.) (03C90)

Related Items (3)

Homorphie-invariante Formeln in der intuitionistischen Logik ⋮ Unterstruktur-invariante Formeln in der intuitionistischen Logik ⋮ Normal modal model theory

Cites Work

• Properties preserved under homomorphism
• Reduced direct products
• Unnamed Item
• Unnamed Item

This page was built for publication: Modelltheoretische Untersuchungen in der Kripke-Semantik