scientific article
From MaRDI portal
Publication:3527403
zbMath1151.03324MaRDI QIDQ3527403
Paulo Mateus, Cristina Sernadas, Amílcar Sernadas
Publication date: 29 September 2008
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
probability spacezero-knowledge protocolclassical valuationsglobal propositional logicmodel of probability logic
Related Items (10)
Reasoning about probabilistic sequential programs ⋮ An Equation-Based Classical Logic ⋮ Logics for actor networks: a two-stage constrained-hybridisation approach ⋮ Probabilistic logic over equations and domain restrictions ⋮ Probabilization of logics: completeness and decidability ⋮ Importing logics ⋮ Fibring as biporting subsumes asymmetric combinations ⋮ Weakly complete axiomatization of exogenous quantum propositional logic ⋮ Temporalization of Probabilistic Propositional Logic ⋮ Exogenous Probabilistic Computation Tree Logic
This page was built for publication:
