On counting propositional logic and Wagner's hierarchy (Q6100184): Difference between revisions

@@ Property / cites work @@
+On measure quantifiers in first-order arithmetic
@@ Property / cites work: On measure quantifiers in first-order arithmetic / rank @@
+Normal rank
@@ Property / cites work @@
+Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science
+Normal rank
@@ Property / cites work @@
+Computational Complexity
@@ Property / cites work: Computational Complexity / rank @@
+Normal rank
@@ Property / cites work @@
+Probabilistic Relational Hoare Logics for Computer-Aided Security Proofs
+Normal rank
@@ Property / cites work @@
+Q5503674
@@ Property / cites work: Q5503674 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4836494
@@ Property / cites work: Q4836494 / rank @@
+Normal rank
@@ Property / cites work @@
+Suppes-style sequent calculus for probability logic
+Normal rank
@@ Property / cites work @@
+Reduced forms for stochastic sequential machines
@@ Property / cites work: Reduced forms for stochastic sequential machines / rank @@
+Normal rank
@@ Property / cites work @@
+The complexity of theorem-proving procedures
@@ Property / cites work: The complexity of theorem-proving procedures / rank @@
+Normal rank
@@ Property / cites work @@
+Markov Chains as Random Input Automata
@@ Property / cites work: Markov Chains as Random Input Automata / rank @@
+Normal rank
@@ Property / cites work @@
+Reasoning about knowledge and probability
@@ Property / cites work: Reasoning about knowledge and probability / rank @@
+Normal rank
@@ Property / cites work @@
+A logic for reasoning about probabilities
@@ Property / cites work: A logic for reasoning about probabilities / rank @@
+Normal rank
@@ Property / cites work @@
+Q5214813
@@ Property / cites work: Q5214813 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4133135
@@ Property / cites work: Q4133135 / rank @@
+Normal rank
@@ Property / cites work @@
+Uniform labelled calculi for conditional and counterfactual logics
+Normal rank
@@ Property / cites work @@
+An analysis of first-order logics of probability
@@ Property / cites work: An analysis of first-order logics of probability / rank @@
+Normal rank
@@ Property / cites work @@
+Q4451078
@@ Property / cites work: Q4451078 / rank @@
+Normal rank
@@ Property / cites work @@
+A logic for reasoning about time and reliability
@@ Property / cites work: A logic for reasoning about time and reliability / rank @@
+Normal rank
@@ Property / cites work @@
+Q5089025
@@ Property / cites work: Q5089025 / rank @@
+Normal rank
@@ Property / cites work @@
+Approximate counting in bounded arithmetic
@@ Property / cites work: Approximate counting in bounded arithmetic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4323294
@@ Property / cites work: Q4323294 / rank @@
+Normal rank
@@ Property / cites work @@
+Extensions of MSO and the monadic counting hierarchy
+Normal rank
@@ Property / cites work @@
+A logical characterization of the counting hierarchy
+Normal rank
@@ Property / cites work @@
+Automata Studies. (AM-34)
@@ Property / cites work: Automata Studies. (AM-34) / rank @@
+Normal rank
@@ Property / cites work @@
+Reasoning with time and chance
@@ Property / cites work: Reasoning with time and chance / rank @@
+Normal rank
@@ Property / cites work @@
+A probabilistic extension of intuitionistic logic
@@ Property / cites work: A probabilistic extension of intuitionistic logic / rank @@
+Normal rank
@@ Property / cites work @@
+A Survey of Lower Bounds for Satisfiability and Related Problems
+Normal rank
@@ Property / cites work @@
+Q4131648
@@ Property / cites work: Q4131648 / rank @@
+Normal rank
@@ Property / cites work @@
+Proof Analysis
@@ Property / cites work: Proof Analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Probabilistic logic
@@ Property / cites work: Probabilistic logic / rank @@
+Normal rank
@@ Property / cites work @@
+Probabilistic logic revisited
@@ Property / cites work: Probabilistic logic revisited / rank @@
+Normal rank
@@ Property / cites work @@
+Games against nature
@@ Property / cites work: Games against nature / rank @@
+Normal rank
@@ Property / cites work @@
+Parallel computation with threshold functions
@@ Property / cites work: Parallel computation with threshold functions / rank @@
+Normal rank
@@ Property / cites work @@
+Probabilistic automata
@@ Property / cites work: Probabilistic automata / rank @@
+Normal rank
@@ Property / cites work @@
+Maximin automata
@@ Property / cites work: Maximin automata / rank @@
+Normal rank
@@ Property / cites work @@
+Maximin sequential-like machines and chains
@@ Property / cites work: Maximin sequential-like machines and chains / rank @@
+Normal rank
@@ Property / cites work @@
+Probabilistic Turing Machines and Computability
@@ Property / cites work: Probabilistic Turing Machines and Computability / rank @@
+Normal rank
@@ Property / cites work @@
+Computability by Probabilistic Turing Machines
@@ Property / cites work: Computability by Probabilistic Turing Machines / rank @@
+Normal rank
@@ Property / cites work @@
+On tape-bounded probabilistic Turing machine acceptors
+Normal rank
@@ Property / cites work @@
+Lectures on the Curry-Howard isomorphism
@@ Property / cites work: Lectures on the Curry-Howard isomorphism / rank @@
+Normal rank
@@ Property / cites work @@
+The polynomial-time hierarchy
@@ Property / cites work: The polynomial-time hierarchy / rank @@
+Normal rank
@@ Property / cites work @@
+Complexity classes defined by counting quantifiers
+Normal rank
@@ Property / cites work @@
+The complexity of computing the permanent
@@ Property / cites work: The complexity of computing the permanent / rank @@
+Normal rank
@@ Property / cites work @@
+Q3217604
@@ Property / cites work: Q3217604 / rank @@
+Normal rank
@@ Property / cites work @@
+Some observations on the connection between counting and recursion
+Normal rank
@@ Property / cites work @@
+The complexity of combinatorial problems with succinct input representation
+Normal rank
@@ Property / cites work @@
+Complete sets and the polynomial-time hierarchy
@@ Property / cites work: Complete sets and the polynomial-time hierarchy / rank @@
+Normal rank
@@ Property / cites work @@
+Probabilistic quantifiers and games
@@ Property / cites work: Probabilistic quantifiers and games / rank @@
+Normal rank
@@ Property / cites work @@
+A decisive characterization of BPP
@@ Property / cites work: A decisive characterization of BPP / rank @@
+Normal rank