scientific article; zbMATH DE number 1122846
From MaRDI portal
Publication:4379585
zbMath0884.03019MaRDI QIDQ4379585
Miodrag Rašković, Zoran Ognjanović
Publication date: 2 March 1998
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
completenesspossible worlds semanticsdecidabilityaxiomatizationpropositional probability logichigher order probabilities
Logic in artificial intelligence (68T27) Probability and inductive logic (03B48) Logic with extra quantifiers and operators (03C80)
Related Items (7)
Sequent calculus for classical logic probabilized ⋮ Interpolative Boolean Logic ⋮ Finitely additive probability measures on classical propositional formulas definable by Gödel's t-norm and product t-norm ⋮ Completeness theorems for \(\sigma \)-additive probabilistic semantics ⋮ How to Restore Compactness into Probabilistic Logics? ⋮ Some first-order probability logics ⋮ Logics with Probability Operators
This page was built for publication:
