Two alternative notions of 'possibility' satisfying Halpern's conditions

DOI10.1093/LOGCOM/10.2.253MaRDI QIDQ4487259zbMATH OpenOpenAlexFDO

Authors Kaile Su, Huowang Chen, Decheng Ding

Publication date 13 March 2001

Published in Journal Of Logic And Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/logcom/10.2.253

zbMATH Keywords

\(n\)-agents extension of S4 logicformal notions of possibilitymodel-theoretic analysis of knowledge and beliefnormal \(\omega\)-trees

Mathematics Subject Classification ID

Knowledge representation (68T30) Logics of knowledge and belief (including belief change) (03B42) Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27) Applications of model theory (03C98)

Recommendations

• A theory of knowledge and ignorance for many agents
• A guide to completeness and complexity for modal logics of knowledge and belief
• scientific article; zbMATH DE number 1417195
• Modal logics for qualitative possibility theory
• An epistemic logic with hypotheses

Cited in

(2)

• ``Possible is certain is desirable and can be expressive
• Possibility theory is not fully compositional! A comment on a short note by H. J. Greenberg

This page was built for publication: Two alternative notions of 'possibility' satisfying Halpern's conditions

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