Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

9

JAPLL
2007

favoriteEmaildiscussreport

142views more JAPLL 2007»

Cut-free common knowledge

13 years 4 months ago

Cut-free common knowledge

Download www.iam.unibe.ch

Starting oﬀ from the inﬁnitary system for common knowledge over multi-modal epistemic logic presented in Alberucci and J¨ager [1], we apply the ﬁnite model property to “ﬁnitize” this deductive system. The result is a cut-free, sound and complete sequent calculus for common knowledge.

Gerhard Jäger, Mathis Kretz, Thomas Studer

Real-time Traffic

Common Knowledge | JAPLL 2007 | Multi-modal Epistemic Logic | ﬁnite Model Property |

claim paper

Related Content

» Types of CommonSense Knowledge Needed for Recognizing Textual Entailment

» Speakers Use of Interactive Gestures as Markers of Common Ground

» Common Ground and Small Group Interaction in Large Virtual World Gatherings

» Can we trust docking results Evaluation of seven commonly used programs on PDBbind databas...

» Dynamic Logic of Common Knowledge in a Proof Assistant

» Common knowledge in update logics

» Two Ways to Common Knowledge

» About cut elimination for logics of common knowledge

» Mechanizing common knowledge logic using COQ

» Common knowledge logic in a higher order proof assistant

Post Info
More Details (n/a)

Added	15 Dec 2010
Updated	15 Dec 2010
Type	Journal
Year	2007
Where	JAPLL
Authors	Gerhard Jäger, Mathis Kretz, Thomas Studer

Comments (0)