About cut elimination for logics of common knowledge

Annals of Pure and Applied Logic 133 (1):73-99 (2005)
  Copy   BIBTEX

Abstract

The notions of common knowledge or common belief play an important role in several areas of computer science , in philosophy, game theory, artificial intelligence, psychology and many other fields which deal with the interaction within a group of “agents”, agreement or coordinated actions. In the following we will present several deductive systems for common knowledge above epistemic logics –such as K, T, S4 and S5 –with a fixed number of agents. We focus on structural and proof-theoretic properties of these calculi.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 90,616

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Analytics

Added to PP
2013-10-30

Downloads
37 (#374,850)

6 months
2 (#668,348)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

A. Tony De Luca
University of Manitoba

Citations of this work

Common knowledge.Peter Vanderschraaf - 2008 - Stanford Encyclopedia of Philosophy.
A Logical Framework for Convention.Giacomo Sillari - 2005 - Synthese 147 (2):379-400.
Justifications for common knowledge.Samuel Bucheli, Roman Kuznets & Thomas Studer - 2011 - Journal of Applied Non-Classical Logics 21 (1):35-60.
Intuitionistic common knowledge or belief.Gerhard Jäger & Michel Marti - 2016 - Journal of Applied Logic 18:150-163.
Syntactic cut-elimination for common knowledge.Kai Brünnler & Thomas Studer - 2009 - Annals of Pure and Applied Logic 160 (1):82-95.

View all 8 citations / Add more citations

References found in this work

The Situation in Logic.Jon Barwise - 1988 - Cambridge, England: Center for the Study of Language and Inf.
Common knowledge logic and game logic.Mamoru Kaneko - 1999 - Journal of Symbolic Logic 64 (2):685-700.

Add more references