Deduction chains for common knowledge

&
Journal of Applied Logic 4 (3):331-357 (2006)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.jal.2005.06.011

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 100,809

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 and dc-like decision procedure for guarded logic.Andrei Kouznetsov - 2004 - Bulletin of the Section of Logic 33 (1):53-65.
Review of: Jäger, G.; Kahle, R.; Studer, T.: Universes in explicit mathematics. [REVIEW]Ulrich Wilhelm Kohlenbach - 2002 - Annals of Pure and Applied Logic 109 (3):141-162.
Relativized common knowledge for dynamic epistemic logic.Yì N. Wáng & Thomas Ågotnes - 2015 - Journal of Applied Logic 13 (3):370-393.
Intuitionistic common knowledge or belief.Gerhard Jäger & Michel Marti - 2016 - Journal of Applied Logic 18:150-163.
Cut-free common knowledge.Gerhard Jäger, Mathis Kretz & Thomas Studer - 2007 - Journal of Applied Logic 5 (4):681-689.
Common knowledge revisited.Ronald Fagin, Joseph Y. Halpern, Yoram Moses & Moshe Y. Vardi - 1999 - Annals of Pure and Applied Logic 96 (1-3):89-105.
The logic of truth: St. Thomas Aquinas's epistemology and Antonio Livi's alethic logic.William J. Slattery - 2015 - Roma, Italy: Casa editrice Leonardo da Vinci.
An adaptive logic for relevant classical deduction.Hans Lycke - 2007 - Journal of Applied Logic 5 (4):602-612.
Pacifists in Chains: The Persecution of Hutterites during the Great War.Michael Kazin - 2015 - Common Knowledge 21 (2):332-333.
Tracking chains of Σ 2 -elementarity.Timothy J. Carlson & Gunnar Wilken - 2012 - Annals of Pure and Applied Logic 163 (1):23-67.

Analytics

Added to PP
2016-06-30

Downloads
23 (#936,487)

6 months
8 (#574,086)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Syntactic cut-elimination for common knowledge.Kai Brünnler & Thomas Studer - 2009 - Annals of Pure and Applied Logic 160 (1):82-95.
Intuitionistic common knowledge or belief.Gerhard Jäger & Michel Marti - 2016 - Journal of Applied Logic 18:150-163.

Add more citations

References found in this work

Add more references