scientific article; zbMATH DE number 2212572

MaRDI QIDQ5695989zbMATH OpenFDO

Authors Wiebe van der Hoek, Rineke Verbrugge

Publication date 7 October 2005

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Logics of knowledge and belief (including belief change) (03B42) Logic in computer science (03B70) Logic in artificial intelligence (68T27) Applications of game theory (91A80)

Recommendations

• scientific article; zbMATH DE number 1999226
• scientific article; zbMATH DE number 10093
• Epistemic logic and logical omniscience: A survey
• scientific article; zbMATH DE number 824735
• On logics of knowledge and belief

Cited in

(33)

• A note on the wise girls puzzle
• Reasoning about knowledge of unawareness revisited
• The neglect of epistemic considerations in logic: the case of epistemic assumptions
• Epistemology without knowledge and without belief
• Some computational constraints in epistemic logic
• Epistemic logic and philosophy of mathematics. With the participation of Serge Bozon, Mikael Cozic, Paul Egré, François Rivenc and Gabriel Sandu. Edited and with a foreword by Thierry Martin and Philippe Mongin
• scientific article; zbMATH DE number 2088977 (Why is no real title available?)
• scientific article; zbMATH DE number 2089455 (Why is no real title available?)
• An epistemic logic with hypotheses
• scientific article; zbMATH DE number 3884133 (Why is no real title available?)
• Beyond knowing that: a new generation of epistemic logics
• Talking about knowledge
• The logic of being informed
• The tree of knowledge in action: towards a common perspective
• Need to Know: Questions and the Paradox of Epistemic Obligation
• scientific article; zbMATH DE number 4039863 (Why is no real title available?)
• scientific article; zbMATH DE number 58298 (Why is no real title available?)
• scientific article; zbMATH DE number 589737 (Why is no real title available?)
• Epistemic logic and logical omniscience: A survey
• scientific article; zbMATH DE number 1999226 (Why is no real title available?)
• To know is to know the value of a variable
• Conditionally knowing what
• scientific article; zbMATH DE number 10093 (Why is no real title available?)
• scientific article; zbMATH DE number 2101970 (Why is no real title available?)
• scientific article; zbMATH DE number 795163 (Why is no real title available?)
• scientific article; zbMATH DE number 824735 (Why is no real title available?)
• Proof theory of epistemic logic of programs
• Towards Syntactic Epistemic Logic
• Knowledge system for application of computer security rules
• Roles, rigidity, and quantification in epistemic logic
• Epistemic reasoning in life and literature
• Towards an Epistemic Logic of Concepts
• \(\in_K\): a non-Fregean logic of explicit knowledge

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