scientific article; zbMATH DE number 834562

MaRDI QIDQ4860648zbMATH OpenFDO

Authors Branislav Boričić

Publication date 16 July 1996

zbMATH Keywords

accessibilityKripke modelprobabilistic measuresprobabilistic propositional logicprobability operatorssuperintuitionistic logic

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20) Probability and inductive logic (03B48) Intermediate logics (03B55) Logic with extra quantifiers and operators (03C80)

Recommendations

• Validity Measurement in Some Propositional Logics
• Probability logic
• A probabilistic extension of intuitionistic logic
• scientific article; zbMATH DE number 1123884
• scientific article; zbMATH DE number 4016864

Cited in

(8)

• Distances and uncertainty measures on the propositional formulas of an n-valued logic
• Measurement-Theoretic Foundations of Probabilistic Model of JND-Based Vague Predicate Logic
• Propositional relativity and logic calculation in probabilistic logic
• Validity Measurement in Some Propositional Logics
• An intuitionistic logic with probabilistic operators
• Probability propositional calculus with doubled nonstandard semantics.
• Propositional logic with probability operators (based on general ideas of weak modal calculus)
• scientific article; zbMATH DE number 2227378 (Why is no real title available?)

This page was built for publication:

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