𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Cut-free common knowledge

✍ Scribed by Gerhard Jäger; Mathis Kretz; Thomas Studer

Publisher
Elsevier Science
Year
2007
Tongue
English
Weight
156 KB
Volume
5
Category
Article
ISSN
1570-8683

No coin nor oath required. For personal study only.

✦ Synopsis

Starting off from the infinitary system for common knowledge over multi-modal epistemic logic presented in [L. Alberucci, G. Jäger, About cut elimination for logics of common knowledge, Annals of Pure and Applied Logic 133 (2005) 73-99], we apply the finite model property to "finitize" this deductive system. The result is a cut-free, sound and complete sequent calculus for common knowledge.

📜 SIMILAR VOLUMES

Fuzzy common knowledge
Fuzzy common knowledge
✍ L Biacino; M.R Simonelli 📂 Article 📅 1995 🏛 Elsevier Science 🌐 English ⚖ 673 KB
Deduction chains for common knowledge
Deduction chains for common knowledge
✍ Mathis Kretz; Thomas Studer 📂 Article 📅 2006 🏛 Elsevier Science 🌐 English ⚖ 287 KB

Deduction chains represent a syntactic and in a certain sense constructive method for proving completeness of a formal system. Given a formula φ, the deduction chains of φ are built up by systematically decomposing φ into its subformulae. In the case where φ is a valid formula, the decomposition yie

Catalogers' common ground and shared kno
Catalogers' common ground and shared knowledge
✍ Alenka Šauperl 📂 Article 📅 2003 🏛 John Wiley and Sons 🌐 English ⚖ 86 KB

## Abstract The problem of multiple interpretations of meaning in the indexing process has been mostly avoided by information scientists. Among the few who have addressed this question are Clare Beghtol and Jens Erik Mai. Their findings and findings of other researchers in the area of information s