Multi-Agent Only Knowing on Planet Kripke | Zendy

Guillaume Aucher | Zendy; Vaishak Belle | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

Multi-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

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research