Some simulation results as to weakly correlated processes

DOI10.1016/0378-4754(87)90130-3MaRDI QIDQ1096972zbMATHOpenAlexFDO

Authors J. vom Scheidt, Benno Fellenberg

Publication date 1987

Published in Mathematics and Computers in Simulation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0378-4754(87)90130-3

zbMATH Keywords

interpretationsemanticsdistributed protocolbranching timesatisfiability problemKripke modelparticipantsPropositional Dynamic Logiclinear functionals of weakly correlated processesPropositional Temporal Knowledge Logicsimulation results. distributed systems

Mathematics Subject Classification ID

Probabilistic methods, stochastic differential equations (65C99) Stochastic analysis (60H99)

Recommendations

• Interpreting logics of knowledge in propositional dynamic logic
• Probabilistic propositional temporal logics
• scientific article; zbMATH DE number 3909727
• Model Checking Knowledge and Linear Time: PSPACE Cases
• The complexity of propositional linear temporal logics

Cited in

(3)

• A Note on the Simulation of Overdispersed Random Variables With Specified Marginal Means and Product Correlations
• Decidability of logic of correlated knowledge
• Interpreting logics of knowledge in propositional dynamic logic

This page was built for publication: Some simulation results as to weakly correlated processes

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