Reasoning with time and chance
From MaRDI portal
Publication:3674620
DOI10.1016/S0019-9958(82)91022-1zbMath0523.03016MaRDI QIDQ3674620
Saharon Shelah, Daniel J. Lehmann
Publication date: 1982
Published in: Information and Control (Search for Journal in Brave)
Modal logic (including the logic of norms) (03B45) Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65)
Related Items (20)
Verification of multiprocess probabilistic protocols ⋮ A logic for reasoning about time and reliability ⋮ The satisfiability problem for a quantitative fragment of PCTL ⋮ Interleaving set temporal logic ⋮ Knowledge, belief and time ⋮ Unnamed Item ⋮ To be fair, use bundles ⋮ A logic of time, chance, and action for representing plans ⋮ On counting propositional logic and Wagner's hierarchy ⋮ Satisfiability of quantitative probabilistic CTL: rise to the challenge ⋮ Unnamed Item ⋮ Branching versus linear logics yet again ⋮ A propositional linear time logic with time flow isomorphic to \(\omega^2\) ⋮ Using probabilistic Kleene algebra pKA for protocol verification ⋮ The satisfiability problem for a quantitative fragment of PCTL ⋮ A logic for reasoning about probabilities ⋮ A probabilistic approach to navigation in Hypertext ⋮ On the verification of qualitative properties of probabilistic processes under fairness constraints. ⋮ A probabilistic PDL ⋮ Probabilistic Temporal Logics
This page was built for publication: Reasoning with time and chance
