Strong Completeness for Markovian Logics

DOI10.1007/978-3-642-40313-2_58OpenAlexW2114187021MaRDI QIDQ2849951

Radu Mardare, Dexter Kozen, Prakash Panangaden

Publication date: 20 September 2013

Published in: Mathematical Foundations of Computer Science 2013 (Search for Journal in Brave)

Full work available at URL: https://hdl.handle.net/1813/33380

Mathematics Subject Classification ID

Continuous-time Markov processes on general state spaces (60J25) Modal logic (including the logic of norms) (03B45)

Related Items

Unnamed Item ⋮ Concurrent weighted logic ⋮ A Hemimetric Extension of Simulation for Semi-Markov Decision Processes ⋮ Alternation-free weighted mu-calculus: decidability and completeness ⋮ Unnamed Item ⋮ Probabilistic NetKAT