scientific article; zbMATH DE number 65756

MaRDI QIDQ4010367zbMATH OpenFDO

Authors Rohit Parikh

Publication date 27 September 1992

zbMATH Keywords

dialogueformal analysis of reasoning about knowledgeinfinite dialoguesKripke model

Mathematics Subject Classification ID

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

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

(9)

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

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)