An epistemic logic with hypotheses

DOI10.1007/978-3-642-24130-7_21MaRDI QIDQ3094014zbMATH OpenOpenAlexFDO

Authors Levan Uridia, D. Walther

Publication date 19 October 2011

Published in Logic, Rationality, and Interaction (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-24130-7_21

zbMATH Keywords

conditional logicdistributed knowledgeepistemic logichypothesesknowledge

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42)

Recommendations

• scientific article; zbMATH DE number 2212572
• scientific article; zbMATH DE number 2236617
• Epistemic logics for sceptical agents
• scientific article; zbMATH DE number 4181308
• scientific article; zbMATH DE number 611095

Cites work

• A guide to completeness and complexity for modal logics of knowledge and belief
• Around provability logic
• Basic conditional logic
• Distributed knowledge
• Dynamic epistemic logic
• scientific article; zbMATH DE number 1003731 (Why is no real title available?)
• scientific article; zbMATH DE number 3670430 (Why is no real title available?)
• scientific article; zbMATH DE number 1032007 (Why is no real title available?)
• scientific article; zbMATH DE number 1170091 (Why is no real title available?)
• scientific article; zbMATH DE number 795590 (Why is no real title available?)
• scientific article; zbMATH DE number 824735 (Why is no real title available?)
• Modal logic
• Notes on conditional logic
• The computational complexity of hybrid temporal logics
• The Computational Complexity of Provability in Systems of Modal Propositional Logic
• The modal logic of inequality
• What can machines know?

Cited in

(4)

• Combining Epistemic Logic and Hennessy-Milner Logic
• Two alternative notions of 'possibility' satisfying Halpern's conditions
• scientific article; zbMATH DE number 2101970 (Why is no real title available?)
• A synthesis of Hempelian and hypothetico-deductive confirmation

This page was built for publication: An epistemic logic with hypotheses

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