Citations of work:

Luca Alberucci & Gerhard Jäger (2005). About Cut Elimination for Logics of Common Knowledge.

6 found
Order:
Are we missing citations?

PhilPapers citations & references are currently in beta testing. We expect to add many more in the future.

Meanwhile, you can use our bibliography tool to import references for this or another work.

Or you can directly add citations for the above work:

Search for work by author name and title
Add directly by record ID

  1.  2
    Intuitionistic Common Knowledge or Belief.Gerhard Jäger & Michel Marti - 2016 - Journal of Applied Logic 18:150-163.
  2.  8
    Justifications for Common Knowledge.Samuel Bucheli, Roman Kuznets & Thomas Studer - 2011 - Journal of Applied Non-Classical Logics 21 (1):35-60.
  3.  34
    A Contraction-Free and Cut-Free Sequent Calculus for Propositional Dynamic Logic.Brian Hill & Francesca Poggiolesi - 2010 - Studia Logica 94 (1):47-72.
    In this paper we present a sequent calculus for propositional dynamic logic built using an enriched version of the tree-hypersequent method and including an infinitary rule for the iteration operator. We prove that this sequent calculus is theoremwise equivalent to the corresponding Hilbert-style system, and that it is contraction-free and cut-free. All results are proved in a purely syntactic way.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  4.  4
    Syntactic Cut-Elimination for Common Knowledge.Kai Brünnler & Thomas Studer - 2009 - Annals of Pure and Applied Logic 160 (1):82-95.
    We first look at an existing infinitary sequent system for common knowledge for which there is no known syntactic cut-elimination procedure and also no known non-trivial bound on the proof-depth. We then present another infinitary sequent system based on nested sequents that are essentially trees and with inference rules that apply deeply inside these trees. Thus we call this system “deep” while we call the former system “shallow”. In contrast to the shallow system, the deep system allows one to give (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  5. Cut-Free Common Knowledge.Gerhard Jäger, Mathis Kretz & Thomas Studer - 2007 - Journal of Applied Logic 5 (4):681-689.
  6.  44
    A Logical Framework for Convention.Giacomo Sillari - 2005 - Synthese 147 (2):379-400.
    No categories
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   8 citations