Ultraproducts of Admissible Models for Quantified Modal Logic

DOI10.1007/978-3-662-48357-2_2zbMath1429.03134OpenAlexW2299804020MaRDI QIDQ5213666

Robert Goldblatt

Publication date: 4 February 2020

Published in: Logic in Asia: Studia Logica Library (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-662-48357-2_2

zbMATH Keywords

compactnessultraproductquantified modal logicstrong completenessBarcan formulaadmissible semanticsactualist quantificationKripkean interpretation

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Ultraproducts and related constructions (03C20)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Model theory
• Commutativity of Quantifiers in Varying-Domain Kripke Models
• Metamathematics of modal logic

This page was built for publication: Ultraproducts of Admissible Models for Quantified Modal Logic