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

DOI10.1093/logcom/10.2.253zbMath0956.03020OpenAlexW2073420836MaRDI QIDQ4487259

Huowang Chen, Kaile Su, Ding, Decheng

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

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

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