scientific article; zbMATH DE number 591047

MaRDI QIDQ4296345zbMATH OpenFDO

Authors Miodrag Rašković

Publication date 24 November 1994

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

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

completenessdecidabilitylogics with probability operators

Mathematics Subject Classification ID

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

Cited in

(15)

• Hierarchies of probabilistic logics
• A propositional probabilistic logic with discrete linear time for reasoning about evidence
• Conditional \(p\)-adic probability logic
• Adelic uncertainty logic
• Logics with Probability Operators
• \(p\)-adic probability logics
• Some first-order probability logics
• Specifying and reasoning about uncertain agents
• Probabilized Sequent Calculus and Natural Deduction System for Classical Logic
• A logic with approximate conditional probabilities that can model default reasoning
• How to Restore Compactness into Probabilistic Logics?
• Interpolative Boolean Logic
• Finitely additive probability measures on classical propositional formulas definable by Gödel's t-norm and product t-norm
• The logic ILP for intuitionistic reasoning about probability
• Sequent calculus for classical logic probabilized

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 Q4296345)