Cut-free common knowledge

, &
Journal of Applied Logic 5 (4):681-689 (2007)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.jal.2006.02.003

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,752

External links

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

Through your library

My notes

Similar books and articles

Deduction chains for common knowledge.Mathis Kretz & Thomas Studer - 2006 - Journal of Applied Logic 4 (3):331-357.
About cut elimination for logics of common knowledge.Luca Alberucci & Gerhard Jäger - 2005 - Annals of Pure and Applied Logic 133 (1):73-99.
Common knowledge in update logics.Jan van Eijck - unknown
Some proof systems for common knowledge predicate.Yoshihito Tanaka - 2003 - Reports on Mathematical Logic:79-100.
Common Knowledge in Update Logics.Johan van Benthem - unknown
What Is Common Knowledge?Zachary Ernst - 2011 - Episteme 8 (3):209-226.
Consensus By Identifying Extremists.Robin D. Hanson - 1998 - Theory and Decision 44 (3):293-301.
Common knowledge and limit knowledge.Christian W. Bach & Jérémie Cabessa - 2012 - Theory and Decision 73 (3):423-440.
Cut-free single-pass tableaux for the logic of common knowledge.Rajeev Gore - unknown
Libet and the case for free will scepticism.Tim Bayne - 2011 - In Richard Swinburne (ed.), Free Will and Modern Science. Oup/British Academy.
Do Conventions Need to Be Common Knowledge?Ken Binmore - 2008 - Topoi 27 (1-2):17-27.
Logic in our common knowledge or logic in the light of common sense, common knowledge, and common understanding.William E. Ritter - 1944 - Philosophy of Science 11 (2):59-81.
Common knowledge and common ground.Jan van Eijck - unknown
Can there be common knowledge without a common language?Anna Wierzbicka - 2015 - Common Knowledge 21 (1):141-171.
Common Knowledge and the Theory of Interaction.Ann Elizabeth Cudd - 1988 - Dissertation, University of Pittsburgh

Analytics

Added to PP
2016-06-30

Downloads
30 (#530,732)

6 months
10 (#263,328)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Proof Theory for Modal Logic.Sara Negri - 2011 - Philosophy Compass 6 (8):523-538.
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 7 citations / Add more citations

References found in this work

The Situation in Logic.Jon Barwise - 1991 - Studia Logica 50 (1):163-163.
About cut elimination for logics of common knowledge.Luca Alberucci & Gerhard Jäger - 2005 - Annals of Pure and Applied Logic 133 (1):73-99.

Add more references