Probabilistic temporal logic with countably additive semantics

Logic in artificial intelligence (68T27) Probability and inductive logic (03B48) Reasoning under uncertainty in the context of artificial intelligence (68T37) Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35) Logic with extra quantifiers and operators (03C80) Temporal logic (03B44)

Cites Work

Title not available (Why is that?)
Title not available (Why is that?)
Title not available (Why is that?)
Title not available (Why is that?)
Title not available (Why is that?)
Title not available (Why is that?)
Title not available (Why is that?)
Title not available (Why is that?)
Title not available (Why is that?)
A probabilistic PDL
Probabilistic logic
A logic for reasoning about time and reliability
Probabilistic logics with independence and confirmation
A logic for reasoning about probabilities
A propositional probabilistic logic with discrete linear time for reasoning about evidence
An epistemic probabilistic logic with conditional probabilities
An AGM-style belief revision mechanism for probabilistic spatio-temporal logics
Completeness theorems for \(\sigma \)-additive probabilistic semantics
A propositional linear time logic with time flow isomorphic to \(\omega^2\)
A logic of time, chance, and action for representing plans
An axiomatization of full computation tree logic
Probability Logics
Annotated probabilistic temporal logic
Reasoning with time and chance
A decidable propositional dynamic logic with explicit probabilities
The complexity of propositional linear temporal logics
Reasoning about knowledge and probability
Propositional temporal logics: decidability and completeness
Complete Axiomatizations for Reasoning about Knowledge and Time
A First-order Logic for Reasoning about Knowledge and Probability
Discrete Linear-time Probabilistic Logics: Completeness, Decidability and Complexity
Automated temporal reasoning about reactive systems

This page was built for publication: Probabilistic temporal logic with countably additive semantics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6560997)