On the Satisfiability of Some Simple Probabilistic Logics
DOI10.1145/2933575.2934526zbMATH Open1394.68169OpenAlexW2531137472WikidataQ130880105 ScholiaQ130880105MaRDI QIDQ4635861FDOQ4635861
Joost-Pieter Katoen, Souymodip Chakraborty
Publication date: 23 April 2018
Published in: Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/2933575.2934526
Applications of Markov chains and discrete-time Markov processes on general state spaces (social mobility, learning theory, industrial processes, etc.) (60J20) Analysis of algorithms and problem complexity (68Q25) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87) Probability and inductive logic (03B48) Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17) Modal logic (including the logic of norms) (03B45) Specification and verification (program logics, model checking, etc.) (68Q60) Decidability of theories and sets of sentences (03B25) Temporal logic (03B44)
Cited In (13)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Coalgebraic satisfiability checking for arithmetic \(\mu\)-calculi
- The satisfiability problem for a quantitative fragment of PCTL
- On consistency in probabilistic logic for logical formulas represented by \(B\)-hypertrees
- Applications of Logics About Simple Probabilities
- Levels of uniformity
- On standard completeness and finite model property for a probabilistic logic on Łukasiewicz events
- Computability of validity and satisfiability in probability logics over finite and countable models
- The satisfiability problem for a quantitative fragment of PCTL
- Satisfiability of quantitative probabilistic CTL: rise to the challenge
- Title not available (Why is that?)
- Title not available (Why is that?)
This page was built for publication: On the Satisfiability of Some Simple Probabilistic Logics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4635861)
