Common knowledge logic and game logic

DOI10.2307/2586493MaRDI QIDQ4262577zbMATH OpenOpenAlexFDO

Authors Mamoru Kaneko

Publication date 12 September 1999

Published in Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.377.5678

zbMATH Keywords

common knowledge logiccut-eliminationfaithful embeddinggame logicNash equilibriumsequent calculus

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Cut-elimination and normal-form theorems (03F05) Decision theory for games (91A35)

Recommendations

• First order common knowledge logics
• Game logic and its applications. I
• An epistemic logic of extensive games
• scientific article; zbMATH DE number 2068679
• Pairing traditional and generic common knowledge

Cites work

• A guide to completeness and complexity for modal logics of knowledge and belief
• Belief closure: A semantics of common knowledge for modal propositional logic
• Game logic and its applications. I
• Game logic and its applications. II
• scientific article; zbMATH DE number 3206304 (Why is no real title available?)
• Non-cooperative games
• On the logic of common belief and common knowledge

Cited in

(5)

• About cut elimination for logics of common knowledge
• Epistemic considerations of decision making in games
• Strong completeness theorems for weak logics of common belief
• Mechanizing common knowledge logic using COQ
• Embedding Linear-Time Temporal Logic into Infinitary Logic: Application to Cut-Elimination for Multi-agent Infinitary Epistemic Linear-Time Temporal Logic

This page was built for publication: Common knowledge logic and game logic

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