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)
03B45: Modal logic (including the logic of norms)
68Q60: Specification and verification (program logics, model checking, etc.)
68Q65: Abstract data types; algebraic specification
Related Items
A logic for reasoning about time and reliability, A logic for reasoning about probabilities, A probabilistic approach to navigation in Hypertext