%0 Journal Article
%J Journal of Applied Logic
%D 2016
%T Intuitionistic common knowledge or belief
%A Gerhard Jäger
%A Michel Marti
%K Canonical models
%K Common knowledge
%K Intuitionistic modal logic
%X Starting off from the usual language of modal logic for multi-agent systems dealing with the agents' knowledge/belief and common knowledge/belief we define so-called epistemic Kripke structures for intuitionistic (common) knowledge/belief. Then we introduce corresponding deductive systems and show that they are sound and complete with respect to these semantics.
%B Journal of Applied Logic
%V 18
%G eng
%U http://www.iam.unibe.ch/ltgpub/2015/jmick15.pdf
%& 150
%R 10.7892/boris.71315