JAPLL   2007
Wall of Fame | Most Viewed JAPLL-2007 Paper
142views more  JAPLL 2007»
13 years 5 months ago
Cut-free common knowledge
Starting off from the infinitary system for common knowledge over multi-modal epistemic logic presented in Alberucci and J¨ager [1], we apply the finite model property to “...
Gerhard Jäger, Mathis Kretz, Thomas Studer
Disclaimer and Copyright Notice
Sciweavers respects the rights of all copyright holders and in this regard, authors are only allowed to share a link to their preprint paper on their own website. Every contribution is associated with a desciptive image. It is the sole responsibility of the authors to ensure that their posted image is not copyright infringing. This service is compliant with IEEE copyright.
1Download preprint from source142
2Download preprint from source135
3Download preprint from source125
4Download preprint from source117
5Download preprint from source113
6Download preprint from source104
7Download preprint from source101
8Download preprint from source88
9Download preprint from source86
10Download preprint from source83
11Download preprint from source78
12Download preprint from source72
13Download preprint from source63
14Download preprint from source55
15Download preprint from source55
16Download preprint from source52