A solution to a problem of Urquhart

DOI10.1007/BF00250541zbMath0743.03012MaRDI QIDQ1177648

Marcus Kracht

Publication date: 26 June 1992

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

zbMATH Keywords

modal logicdecidabilityfinite model propertyS4recursively axiomatizable

Mathematics Subject Classification ID

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

Cites Work

• Unnamed Item
• Decidability and the finite model property
• Splitting lattices of logics
• An ascending chain of S4 logics

This page was built for publication: A solution to a problem of Urquhart