scientific article; zbMATH DE number 65756

MaRDI QIDQ4010367zbMATH OpenFDO

Authors Rohit Parikh

Publication date 27 September 1992

zbMATH Keywords

dialogueKripke modelformal analysis of reasoning about knowledgeinfinite dialogues

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Knowledge representation (68T30) Other applications of logic (03B80)

Recommendations

• scientific article; zbMATH DE number 125989
• Some extensions of a claim of Aumann in an axiomatic model of knowledge
• Implicit versus explicit knowledge in dialogical logic
• Interactive epistemology. I: Knowledge
• scientific article; zbMATH DE number 4156238

Cited in

(6)

• scientific article; zbMATH DE number 1972764 (Why is no real title available?)
• Sentences, belief and logical omniscience, or what does deduction tell us?
• Learning to agree over large state spaces
• Logical omniscience
• States of knowledge
• Beyond Lamport's Happened-before

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 Q4010367)