Exogeneous semantics approach to enriching logics

MaRDI QIDQ3527403zbMATH OpenFDO

Authors Paulo Mateus, Amílcar Sernadas, Cristina Sernadas

Publication date 29 September 2008

zbMATH Keywords

probability spacezero-knowledge protocolclassical valuationsglobal propositional logicmodel of probability logic

Mathematics Subject Classification ID

Probability and inductive logic (03B48)

Recommendations

• Probabilization of logics: completeness and decidability
• On probability and logic
• Exogenous probabilistic computation tree logic
• scientific article; zbMATH DE number 1122846
• Probabilistic canonical models for partial logics

Cited in

(10)

• Exogenous probabilistic computation tree logic
• An equation-based classical logic
• Logics for actor networks: a two-stage constrained-hybridisation approach
• Probabilization of logics: completeness and decidability
• Reasoning about probabilistic sequential programs
• Weakly complete axiomatization of exogenous quantum propositional logic
• Probabilistic logic over equations and domain restrictions
• Temporalization of Probabilistic Propositional Logic
• Fibring as biporting subsumes asymmetric combinations
• Importing logics

This page was built for publication: Exogeneous semantics approach to enriching logics

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