scientific article; zbMATH DE number 6863657

MaRDI QIDQ4636047zbMATH OpenFDO

Authors Gerhard Jäger, Michel Marti

Publication date 23 April 2018

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)

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

Cited in

(6)

• Towards Collaborative Conceptual Exploration
• Craig interpolation of epistemic logics 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
• Intuitionistic public announcement logic 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)