A map of common knowledge logics

From MaRDI portal

Publication:1611251

Jump to:navigation, search

DOI10.1023/A:1016387008323zbMath1003.03013MaRDI QIDQ1611251

Nobu-Yuki Suzuki, Takashi Nagashima, Yoshihito Tanaka, Mamoru Kaneko

Publication date: 21 August 2002

Published in: Studia Logica (Search for Journal in Brave)

zbMATH Keywords

embedding theorem multi-agent epistemic logic Kripke-incompleteness common knowledge extension fixed-point approach infinitary approach Kripke-completeness

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Logics of knowledge and belief (including belief change) (03B42) Knowledge representation (68T30)

Related Items (2)

Semantics for intuitionistic epistemic logics of shallow depths for game theory ⋮ Epistemic models of shallow depths and decision making in games: Horticulture

This page was built for publication: A map of common knowledge logics

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:1611251&oldid=13917672"