The McKinsey axiom is not compact

DOI10.2307/2275366zbMath0785.03009OpenAlexW1988287101WikidataQ114589016 ScholiaQ114589016MaRDI QIDQ4032660

Xiao-Ping Wang

Publication date: 1 April 1993

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2275366

zbMATH Keywords

modal logiccompactness of KM

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

Related Items (2)

Canonicity for intensional logics without iterative axioms ⋮ Uncompactness of stit logics containing generalized refref conditionals

Cites Work

• An incomplete logic containing S4
• An incompleteness theorem in modal logic
• Unnamed Item
• Unnamed Item

This page was built for publication: The McKinsey axiom is not compact