Essays about: "epistemisk logik"

Found 2 essays containing the words epistemisk logik.

  1. 1. Interpretations of epistemic mu-calculus over multi-agent games

    University essay from KTH/Matematik (Avd.)

    Author : Nikitas Stathatos; [2022]
    Keywords : epistemic logic; game theory; multi-agent systems; semantics; epistemisk logik; spelteori; multi-agent systems; semantiker;

    Abstract : In this work, we are interested in expressing and studying certain formal properties of multi-agent games. In particular, we are interested in the case in which a team of agents with imperfect information is playing against the environment. READ MORE

  3. 2. Epistemic Logic for the Multi-Agent Knowledge-Based Subset Construction

    University essay from KTH/Skolan för elektroteknik och datavetenskap (EECS)

    Author : Carl Åkerman Rydbeck; [2021]
    Keywords : ;

    Abstract : We study multi-agent games on graphs, in relation to the multi-agent knowledgebased subset construction (MKBSC) – a mathematical tool for knowledgebased strategy synthesis. We consider the problem of applying a formal logic related to agent knowledge in this context. READ MORE