Qingliang Chen

Available identifiers

zbMath Open chen.qingliangMaRDI QIDQ866175

List of research outcomes

Publication	Date of Publication	Type
Quantified Coalition Logic of Knowledge, Belief and Certainty	2020-08-05	Paper
A first-order coalition logic for BDI-agents	2019-01-22	Paper
A complete coalition logic of temporal knowledge for multi-agent systems	2018-12-19	Paper
https://portal.mardi4nfdi.de/entity/Q5498007	2015-02-11	Paper
Primitive Recursiveness of Real Numbers under Different Representations	2013-05-10	Paper
Primitive recursive real numbers	2007-09-17	Paper
Knowledge structure approach to verification of authentication protocols	2007-02-20	Paper

Research outcomes over time

This page was built for person: Qingliang Chen