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

axiomatizationcountable random framemodal logic

Mathematics Subject Classification ID

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

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

(7)

• The modal logic of almost sure frame validities in the finite
• Frame-validity games and absolute minimality of modal axioms
• scientific article; zbMATH DE number 6290331 (Why is no real title available?)
• Algorithmic correspondence and completeness in modal logic. V. Recursive extensions of SQEMA
• Modal logics of almost-sure validities in some classes of Euclidean and transitive frames
• Asymptotic truth-value laws in many-valued logics
• Modal logics of almost sure validities and zero-one laws in Horn classes

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)