A first-order dynamic probability logic

Authors:
Zoran Ognjanović;Aleksandar Perović;Dragan Doder
Affiliations:
Mathematical Institute of Serbian Academy of Sciences and Arts, Belgrade, Serbia;Faculty of Transport and Traffic Engineering, University of Belgrade, Belgrade, Serbia;Faculty of Mechanical Engineering, University of Belgrade, Belgrade, Serbia
Venue:
ECSQARU'13 Proceedings of the 12th European conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Year:
2013

Citing 7
Cited 0

An analysis of first-order logics of probability

Artificial Intelligence
Modal and temporal logics

Handbook of logic in computer science (vol. 2)
Some first-order probability logics

Theoretical Computer Science
Probabilistic Dynamic Epistemic Logic

Journal of Logic, Language and Information
Discrete Linear-time Probabilistic Logics: Completeness, Decidability and Complexity

Journal of Logic and Computation
Strong Completeness and Limited Canonicity for PDL

Journal of Logic, Language and Information
A branching time logic with two types of probability operators

SUM'11 Proceedings of the 5th international conference on Scalable uncertainty management

Quantified Score

Hi-index	0.00

Visualization

Abstract

We introduce a Hilbert-style first-order dynamic probability logic and prove the strong completeness theorem for the class of rigid measurable models.