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

DOI10.1093/LOGCOM/10.2.253zbMATH Open0956.03020OpenAlexW2073420836MaRDI QIDQ4487259FDOQ4487259

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

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

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)

Cited In (2)

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

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)