Intuitionistic common knowledge or belief

TitleIntuitionistic common knowledge or belief
Publication TypeJournal Article
Year of Publication2016
AuthorsJäger, G, Marti, M
JournalJournal of Applied Logic
Volume18
Start Page150
KeywordsCanonical models, Common knowledge, Intuitionistic modal logic
AbstractStarting 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.
URLhttp://www.iam.unibe.ch/ltgpub/2015/jmick15.pdf
DOI10.7892/boris.71315