Syntactic cut-elimination for common knowledge

Brünnler, Kai; Studer, Thomas (2009). Syntactic cut-elimination for common knowledge. In: Areces, C.; Demri, S. (eds.) Proceedings of the 5th Workshop on Methods for Modalities (M4M5 2007). Electronic Notes in Theoretical Computer Science: Vol. 231 (pp. 227-240). Amsterdam: Elsevier 10.1016/j.entcs.2009.02.038

Full text not available from this repository. (Request a copy)

Item Type: Book Section (Book Chapter)
Division/Institute: 08 Faculty of Science > Institute of Computer Science (INF) > Logic and Theory Group (LTG)
08 Faculty of Science > Institute of Computer Science (INF)
UniBE Contributor: Studer, Thomas
Series: Electronic Notes in Theoretical Computer Science
Publisher: Elsevier
Language: English
Submitter: Factscience Import
Date Deposited: 04 Oct 2013 15:22
Last Modified: 08 Sep 2015 16:35
Publisher DOI: 10.1016/j.entcs.2009.02.038
URI: http://boris.unibe.ch/id/eprint/37099 (FactScience: 206735)

Actions (login required)

Edit item Edit item
Provide Feedback