Open AccessMulti-Agent Only Knowing on Planet Kripke
Author(s) -
Guillaume Aucher,
Vaishak Belle
Publication year - 2015
Publication title -
hal (le centre pour la communication scientifique directe)
Language(s) - English
Resource type - Conference proceedings
Subject(s) - kripke semantics , kripke structure , modal logic , modal operator , completeness (order theory) , multimodal logic , computer science , fragment (logic) , epistemic modal logic , semantics (computer science) , possible world , operator (biology) , conservative extension , normal modal logic , modal , intuitionistic logic , extension (predicate logic) , calculus (dental) , mathematics , theoretical computer science , temporal logic , algorithm , epistemology , description logic , programming language , philosophy , linear logic , dentistry , repressor , mathematical analysis , chemistry , biochemistry , transcription factor , medicine , polymer chemistry , gene