scientific article; zbMATH DE number 6863657

zbMATH Open1400.03031MaRDI QIDQ4636047FDOQ4636047

Authors: Gerhard Jäger, Michel Marti 

Publication date: 23 April 2018

Title of this publication is not available (Why is that?)

Recommendations

• Publication:4941943
• Proof Theory for Distributed Knowledge
• Craig interpolation of epistemic logics with distributed knowledge
• Algorithmic correspondence and canonicity for distributive modal logic
• Distributed knowledge justification logics
• scientific article; zbMATH DE number 1543335
• scientific article; zbMATH DE number 3902018
• Reasoning about Knowledge in Asynchronous Distributed Systems

zbMATH Keywords

canonical modelsintuitionistic modal logicdistributed knowledge

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Subsystems of classical logic (including intuitionistic logic) (03B20)

Cited In (6)

• Intuitionistic public announcement logic with distributed knowledge
• A first-order expansion of Artemov and Protopopescu's intuitionistic epistemic logic
• On Artemov and Protopopescu's intuitionistic epistemic logic expanded with distributed knowledge
• Towards Collaborative Conceptual Exploration
• Craig interpolation of epistemic logics with distributed knowledge
• Logic of intuitionistic interactive proofs (formal theory of perfect knowledge transfer)

This page was built for publication:

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