An intuitionistic logic with probabilistic operators

DOI10.2298/PIM0373031MMaRDI QIDQ4815848zbMATH OpenOpenAlexFDO

Authors Zoran Marković, Miodrag Rašković, Zoran Ognjanović

Publication date 8 September 2004

Published in Publications de l'Institut Mathematique (Search for Journal in Brave)

Full work available at URL https://eudml.org/doc/123814

IPFS File on IPFS (Hint: this is only the Hash - if you get a timeout, this file is not available on our server.)

zbMATH Keywords

axiomatizationprobabilistic Kripke semanticspropositional probabilistic intuitionistic logicsatisfiabilityvalidity

Mathematics Subject Classification ID

Probability and inductive logic (03B48) Logic with extra quantifiers and operators (03C80)

Recommendations

• Intuitionistic propositional probability logic
• A probabilistic extension of intuitionistic logic
• scientific article; zbMATH DE number 834562
• Probabilistic models for intuitionistic predicate logic
• Validity Measurement in Some Propositional Logics

Cited in

(18)

• Absolute probability functions for intuitionistic propositional logic
• Sequent calculus for classical logic probabilized
• A propositional probabilistic logic with discrete linear time for reasoning about evidence
• Compositionality of Probabilistic Hennessy-Milner Logic through Structural Operational Semantics
• Probabilistic models for intuitionistic predicate logic
• A probabilistic extension of intuitionistic logic
• scientific article; zbMATH DE number 1929309 (Why is no real title available?)
• scientific article; zbMATH DE number 6131386 (Why is no real title available?)
• Logics with Probability Operators
• Probabilized Sequent Calculus and Natural Deduction System for Classical Logic
• Justification Logics with Probability Operators
• Tableau for the logic ILP
• Soundness and completeness of the axioms of a probabilistic modal logic
• The sub-additives: a proof theory for probabilistic choice extending linear logic
• Riesz modal logic with threshold operators
• Partial probability functions and intuitionistic logic
• Intuitionistic propositional probability logic
• The logic ILP for intuitionistic reasoning about probability

This page was built for publication: An intuitionistic logic with probabilistic operators

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