Some first-order probability logics
type: Item
instance of: scholarly article
title: Some first-order probability logics
zbMATH Open document ID: 0954.03024
DOI: 10.1016/S0304-3975(98)00341-7
published in: Theoretical Computer Science
publication date: 2000-10-26T00:00:00Z
Mathematics Subject Classification ID: 03B48
zbMATH DE Number: 1521730
zbMATH Keywords: first-order logic
zbMATH Keywords: probability
zbMATH Keywords: possible worlds
zbMATH Keywords: completeness
author: Zoran Ognjanović
author: Miodrag Rašković
MaRDI profile type: Publication
cites work: Decidability and expressiveness for first-order logics of probability
cites work: Q3663565
cites work: From worlds to probabilities: A probabilistic semantics for modal logic
cites work: A logic for reasoning about probabilities
cites work: Reasoning about knowledge and probability
cites work: Q4342097
cites work: An Axiomatization of the Temporal Logic with Until and Since over the Real Numbers
cites work: An analysis of first-order logics of probability
cites work: The relationship between knowledge, belief, and certainty
cites work: Q5604443
cites work: Q3026978
cites work: Some considerations on the logics PFD A logic combining modality and probability
cites work: Probability logic
cites work: The Undecidability of Monadic Modal Quantification Theory
cites work: Q4379585
cites work: Some probability logics with new types of probability operators
cites work: Q4296345
cites work: Q4253257
Wikidata QID: Q126778482
description: scientific article; zbMATH DE number 1521730