Logics of informational interactions

DOI10.1007/S10992-015-9345-YzbMath1336.03020DBLPjournals/jphil/BaltagS15OpenAlexW1997422205WikidataQ59426960 ScholiaQ59426960MaRDI QIDQ266639

Sonja Smets, Alexandru Baltag

Publication date: 13 April 2016

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

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

zbMATH Keywords

quantum logicdynamic epistemic logiclogical dynamics

Mathematics Subject Classification ID

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

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• PLQP \& Company: decidable logics for quantum algorithms
• Quantum logic as a dynamic logic
• Correlated knowledge: an epistemic-logic view on quantum entanglement
• Logics of communication and change
• Complete axiomatizations for quantum actions
• A dynamic-logical perspective on quantum behavior
• Empirical logic and quantum mechanics
• Reasoning about information change
• Logics for epistemic programs
• The logic of quantum mechanics
• Quantum Probabilistic Dyadic Second-Order Logic
• The Logic of Public Announcements, Common Knowledge, and Private Suspicions
• Logical Dynamics of Information and Interaction
• Dynamic logic for belief revision
• On the logic of theory change: Partial meet contraction and revision functions
• Conditional Doxastic Models: A Qualitative Approach to Dynamic Belief Revision
• LQP: the dynamic logic of quantum information

This page was built for publication: Logics of informational interactions