Density of truth in modal logics

MaRDI QIDQ3574988zbMATH OpenFDO

Authors Zofia Kostrzycka

Publication date 5 July 2010

Full work available at URL https://www.dmtcs.org/dmtcs-ojs/index.php/proceedings/article/view/dmAG0109/0.html

zbMATH Keywords

density of truthGrzegorczyk's logicmodal logicS4S5

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 2114316
• Density of tautologies in logics with one variable
• The density of truth in monadic fragments of some intermediate logics
• Probability distribution for simple tautologies
• On density of truth of the intuitionistic logic in one variable

Cited in

(10)

• The density of truth in monadic fragments of some intermediate logics
• The modal logic of the countable random frame
• Probability distribution for simple tautologies
• The fraction of large random trees representing a given Boolean function in implicational logic
• Complexity and Limiting Ratio of Boolean Functions over Implication
• scientific article; zbMATH DE number 2015271 (Why is no real title available?)
• scientific article; zbMATH DE number 2114316 (Why is no real title available?)
• Density of tautologies in logics with one variable
• The modal logic of almost sure frame validities in the finite
• Asymptotic densities in logic and type theory

This page was built for publication: Density of truth in modal logics

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