scientific article; zbMATH DE number 2068679

MaRDI QIDQ4465172zbMATH OpenFDO

Authors Yoshihito Tanaka

Publication date 27 May 2004

zbMATH Keywords

common knowledge logicepistemic multi-modal logic

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42)

Recommendations

• The proof theory of common knowledge
• Two ways to common knowledge
• La connaissance commune en logique modale
• Cut-free common knowledge
• Syntactic cut-elimination for common knowledge

Cited in

(14)

• Syntactic cut-elimination for common knowledge
• On the proof theory of infinitary modal logic
• Deduction chains for common knowledge
• Mechanizing common knowledge logic using COQ
• Two ways to common knowledge
• Common knowledge logic and game logic
• Common knowledge logic in a higher order proof assistant
• Syntactic cut-elimination for common knowledge
• Frame definability, canonicity and cut elimination in common sense modal predicate logics
• scientific article; zbMATH DE number 7117799 (Why is no real title available?)
• scientific article; zbMATH DE number 7668120 (Why is no real title available?)
• Proof-theoretic results of common sense modal predicate calculi
• Nested sequents or tree-hypersequents -- a survey
• Neighbourhood and algebraic models for predicate modal logics with -rules

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4465172)