The Proof Theory of Common Knowledge-Reference-Cited by-同舟云学术

The Proof Theory of Common Knowledge

Published:2018 Issue: Volume: Page:433-455
ISSN:2211-2758
Container-title:Jaakko Hintikka on Knowledge and Game-Theoretical Semantics
language:
Short-container-title:

Author:

Marti Michel,Studer Thomas

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-319-62864-6_18

Reference53 articles.

1. Abate P, Goré R, Widmann F (2007) Cut-free single-pass tableaux for the logic of common knowledge. In: Workshop on agents and deduction at TABLEAUX 2007

2. Alberucci L, Jäger G (2005) About cut elimination for logics of common knowledge. Ann Pure Appl Log 133:73–99

3. Antonakos E (2007) Justified and common knowledge: limited conservativity. In: Artemov SN, Nerode A (eds) Logical foundations of computer science, LFCS 2007. LNCS, vol 4514. Springer, pp 1–11

4. Antonakos E (2013) Explicit generic common knowledge. In: Artemov S, Nerode A (eds) Logical foundations of computer science. Lecture Notes in Computer Science, vol 7734. Springer, pp 16–28

5. Antonakos E (2016) Pairing traditional and generic common knowledge. In: Artemov S, Nerode A (eds) Logical foundations of computer science. Lecture Notes in Computer Science, vol 9537. Springer, pp 14–26

Cited by 3 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. On the Proof Theory of Infinitary Modal Logic;Studia Logica;2022-06-01

2. Geometric Rules in Infinitary Logic;Outstanding Contributions to Logic;2021

3. Labelled Natural Deduction for Public Announcement Logic with Common Knowledge;Mathematics;2020-04-18