Logics of informational interactions

DOI10.1007/S10992-015-9345-YMaRDI QIDQ266639zbMATH OpenOpenAlexDBLPWikidataFDO

Authors Alexandru Baltag, Sonja Smets

Publication date 13 April 2016

Published in Journal of Philosophical Logic (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1007/s10992-015-9345-y

zbMATH Keywords

dynamic epistemic logiclogical dynamicsquantum logic

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Quantum logic (03G12)

Recommendations

• A dynamic-logical perspective on quantum behavior
• Dynamic epistemic logics
• scientific article; zbMATH DE number 1537935
• Correlated knowledge: an epistemic-logic view on quantum entanglement
• The dynamic turn in quantum logic

Cites work

• A dynamic-logical perspective on quantum behavior
• A qualitative theory of dynamic interactive belief revision
• Complete axiomatizations for quantum actions
• Conditional doxastic models: a qualitative approach to dynamic belief revision
• Correlated knowledge: an epistemic-logic view on quantum entanglement
• Dynamic logic for belief revision
• Empirical logic and quantum mechanics
• scientific article; zbMATH DE number 3521027 (Why is no real title available?)
• scientific article; zbMATH DE number 1556014 (Why is no real title available?)
• scientific article; zbMATH DE number 795590 (Why is no real title available?)
• scientific article; zbMATH DE number 3227853 (Why is no real title available?)
• scientific article; zbMATH DE number 3266514 (Why is no real title available?)
• scientific article; zbMATH DE number 3288522 (Why is no real title available?)
• Logical dynamics of information and interaction
• Logics for epistemic programs
• Logics of communication and change
• LQP: the dynamic logic of quantum information
• On the logic of theory change: Partial meet contraction and revision functions
• PLQP \& Company: decidable logics for quantum algorithms
• Quantum logic as a dynamic logic
• Quantum Probabilistic Dyadic Second-Order Logic
• Reasoning about information change
• The logic of public announcements, common knowledge, and private suspicions
• The logic of quantum mechanics

Cited in

(6)

• Modeling correlated information change: from conditional beliefs to quantum conditionals
• A logical approach to cooperative information systems
• Inputs, Outputs, and Composition in the Logic of Information Flows
• Correlated knowledge: an epistemic-logic view on quantum entanglement
• Logic meets Wigner's friend (and their friends)
• A dynamic-logical perspective on quantum behavior

This page was built for publication: Logics of informational interactions

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