An analytic proof system for Common Knowledge Logic over S5 Page 1 An analytic proof
system for Common Knowledge Logic over S5 Jan Rooduijn 1 Lukas Zenger 2 1ILLC …

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 …

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 …