Probabilization of logics: completeness and decidability (Q2254552): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s11787-013-0087-8
+Normal rank
@@ Property / OpenAlex ID @@
+W2041638606
@@ Property / OpenAlex ID: W2041638606 / rank @@
+Normal rank
@@ Property / cites work @@
+QUANTUM COMPUTATION TREE LOGIC — MODEL CHECKING AND COMPLETE CALCULUS
+Normal rank
@@ Property / cites work @@
+Temporalization of Probabilistic Propositional Logic
+Normal rank
@@ Property / cites work @@
+Axioms for abstract model theory
@@ Property / cites work: Axioms for abstract model theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q2744124
@@ Property / cites work: Q2744124 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3069694
@@ Property / cites work: Q3069694 / rank @@
+Normal rank
@@ Property / cites work @@
+Quantum Institutions
@@ Property / cites work: Quantum Institutions / rank @@
+Normal rank
@@ Property / cites work @@
+Q4941925
@@ Property / cites work: Q4941925 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5806802
@@ Property / cites work: Q5806802 / rank @@
+Normal rank
@@ Property / cites work @@
+Analysis and synthesis of logics. How to cut and paste reasoning systems
+Normal rank
@@ Property / cites work @@
+Q3323698
@@ Property / cites work: Q3323698 / rank @@
+Normal rank
@@ Property / cites work @@
+Probabilistic temporal logics via the modal mu-calculus
+Normal rank
@@ Property / cites work @@
+Complete Axiomatization of Discrete-Measure Almost-Everywhere Quantification
+Normal rank
@@ Property / cites work @@
+On the Theory of Specification, Implementation, and Parametrization of Abstract Data Types
+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 @@
+Adding a temporal dimension to a logic system
@@ Property / cites work: Adding a temporal dimension to a logic system / rank @@
+Normal rank
@@ Property / cites work @@
+Institution morphisms
@@ Property / cites work: Institution morphisms / rank @@
+Normal rank
@@ Property / cites work @@
+Q3332238
@@ Property / cites work: Q3332238 / 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 @@
+Decidability and complexity for  -regular properties of stochastic systems
+Normal rank
@@ Property / cites work @@
+A probabilistic PDL
@@ Property / cites work: A probabilistic PDL / rank @@
+Normal rank
@@ Property / cites work @@
+Weakly complete axiomatization of exogenous quantum propositional logic
+Normal rank
@@ Property / cites work @@
+Q3527403
@@ Property / cites work: Q3527403 / rank @@
+Normal rank
@@ Property / cites work @@
+Probabilistic logic programming
@@ Property / cites work: Probabilistic logic programming / rank @@
+Normal rank
@@ Property / cites work @@
+Probabilistic logic
@@ Property / cites work: Probabilistic logic / rank @@
+Normal rank
@@ Property / cites work @@
+Discrete Linear-time Probabilistic Logics: Completeness, Decidability and Complexity
+Normal rank
@@ Property / cites work @@
+Q4851803
@@ Property / cites work: Q4851803 / rank @@
+Normal rank
@@ Property / cites work @@
+Importing logics
@@ Property / cites work: Importing logics / rank @@
+Normal rank
@@ Property / cites work @@
+Absolute probability functions for intuitionistic propositional logic
+Normal rank
@@ Property / cites work @@
+Admissibility of logical inference rules
@@ Property / cites work: Admissibility of logical inference rules / rank @@
+Normal rank
@@ Property / cites work @@
+Synchronization of logics
@@ Property / cites work: Synchronization of logics / rank @@
+Normal rank
@@ Property / cites work @@
+Fibring of logics as a categorial construction
@@ Property / cites work: Fibring of logics as a categorial construction / rank @@
+Normal rank
@@ Property / cites work @@
+Verification of Probabilistic Programs
@@ Property / cites work: Verification of Probabilistic Programs / rank @@
+Normal rank
@@ Property / cites work @@
+Q4391214
@@ Property / cites work: Q4391214 / rank @@
+Normal rank
@@ Property / cites work @@
+Reasoning about infinite computations
@@ Property / cites work: Reasoning about infinite computations / rank @@
+Normal rank
@@ Property / cites work @@
+A Complete Deductive System for Probability Logic
@@ Property / cites work: A Complete Deductive System for Probability Logic / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2254552