scientific article; zbMATH DE number 591047

zbMATH Open0799.03018MaRDI QIDQ4296345FDOQ4296345

Authors: Miodrag Rašković 

Publication date: 24 November 1994

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

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

Title of this publication is not available (Why is that?)

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)

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