The modal logic of the countable random frame

DOI10.1007/S001530100135MaRDI QIDQ1407589zbMATH OpenOpenAlexFDO

Authors Valentin Goranko, Bruce M. Kapron

Publication date 16 September 2003

Published in Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s001530100135

zbMATH Keywords

modal logicaxiomatizationcountable random frame

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Complexity of computation (including implicit computational complexity) (03D15) Nonclassical models (Boolean-valued, sheaf, etc.) (03C90)

Recommendations

• Zero-one laws for modal logic
• An incomplete decidable modal logic
• Density of truth in modal logics
• scientific article; zbMATH DE number 1499093
• scientific article; zbMATH DE number 1303433

Cited in

(4)

• Algorithmic correspondence and completeness in modal logic. V. Recursive extensions of SQEMA
• Frame-validity games and absolute minimality of modal axioms
• Modal logics of almost-sure validities in some classes of Euclidean and transitive frames
• scientific article; zbMATH DE number 6290331 (Why is no real title available?)

This page was built for publication: The modal logic of the countable random frame

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