scientific article; zbMATH DE number 65756

zbMATH Open0772.03012MaRDI QIDQ4010367FDOQ4010367

Rohit Parikh

Publication date: 27 September 1992

Title of this publication is not available (Why is that?)

Recommendations

• scientific article
• 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 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)

Cited In (6)

• States of Knowledge
• Title not available (Why is that?)
• Learning to agree over large state spaces
• Logical omniscience
• Sentences, Belief and Logical Omniscience, or What Does Deduction Tell Us?
• 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)