About cut elimination for logics of common knowledge

Annals of Pure and Applied Logic 133 (1):73-99 (2005)
Authors
A. Tony De Luca
University of Manitoba
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.
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1016/j.apal.2004.10.004
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 35,954
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

The Situation in Logic.Jon Barwise - 1989 - 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

Citations of this work BETA

A Logical Framework for Convention.Giacomo Sillari - 2005 - Synthese 147 (2):379-400.
Syntactic Cut-Elimination for Common Knowledge.Kai Brünnler & Thomas Studer - 2009 - Annals of Pure and Applied Logic 160 (1):82-95.
Cut-Free Common Knowledge.Gerhard Jäger, Mathis Kretz & Thomas Studer - 2007 - Journal of Applied Logic 5 (4):681-689.
Justifications for Common Knowledge.Samuel Bucheli, Roman Kuznets & Thomas Studer - 2011 - Journal of Applied Non-Classical Logics 21 (1):35-60.

View all 6 citations / Add more citations

Similar books and articles

Analytics

Added to PP index
2013-10-30

Total downloads
10 ( #530,925 of 2,293,884 )

Recent downloads (6 months)
4 ( #138,959 of 2,293,884 )

How can I increase my downloads?

Monthly downloads

My notes

Sign in to use this feature