Exogeneous semantics approach to enriching logics

zbMATH Open1151.03324MaRDI QIDQ3527403FDOQ3527403

Authors: Paulo Mateus, Amílcar Sernadas, Cristina Sernadas 

Publication date: 29 September 2008

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

zbMATH Keywords

probability spacezero-knowledge protocolclassical valuationsglobal propositional logicmodel of probability logic

Mathematics Subject Classification ID

Probability and inductive logic (03B48)

Cited In (10)

• An equation-based classical logic
• 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
• Importing logics
• Exogenous probabilistic computation tree logic
• Logics for actor networks: a two-stage constrained-hybridisation approach
• Fibring as biporting subsumes asymmetric combinations

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)