scientific article; zbMATH DE number 6863657

zbMath1400.03031MaRDI QIDQ4636047

Michel Marti, Gerhard Jäger

Publication date: 23 April 2018

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

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)

Related Items

On Artemov and Protopopescu's intuitionistic epistemic logic expanded with distributed knowledge, A first-order expansion of Artemov and Protopopescu's intuitionistic epistemic logic, Towards Collaborative Conceptual Exploration