Standard axiomatisations of the logic of common knowledge contain the greatest fixed-point axiom schema. While such an inductive principle matches our intuitions in the context of …
This thesis is about the proof theory of modal fixed point logics. In this introduction we shall give an informal introduction to this topic. Moreover, we will describe the particular goals of …
M Marti, T Studer - Jaakko Hintikka on knowledge and game-theoretical …, 2018 - Springer
Common knowledge of a proposition A can be characterized by the following infinitary conjunction: everybody knows A and everybody knows that everybody knows A and …
This thesis studies the proof theory of modal fixed point logics. In particular, we construct proof systems for various fragments of the modal mu-calculus, interpreted over various …
This paper presents an overview of the methods of nested sequents or treehypersequents that were originally introduced to provide a comprehensive proof theory for modal logic. The …
In this thesis we study a lightweight framework in which to model knowledge and beliefs and the evolution thereof in multiagent systems. The standard logic used for this is very …
Public announcement logic is a logic that studies epistemic updates. In this paper, we propose a sound and complete labelled natural deduction system for public announcement …