KM and the finite model property

DOI10.1305/NDJFL/1093870375zbMATH Open0488.03009OpenAlexW2026852433MaRDI QIDQ1165833FDOQ1165833

Authors: M. J. Cresswell 

Publication date: 1983

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1305/ndjfl/1093870375

zbMATH Keywords

normal formscompletenessmodal logiccanonical model

Mathematics Subject Classification ID

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

This page was built for publication: KM and the finite model property

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